Theorem Ordinal.bsup_eq_bsup

Modification history