Theorem Ordinal.sSup_eq_bsup

Modification history