Theorem Ordinal.sup_lt_ord_lift

Modification history