Theorem Ordinal.sup_lt_ord

Modification history