Theorem Ordinal.bsup_lt_ord_lift

Modification history