Theorem Ordinal.iSup_eq_bsup

Modification history