Theorem Ordinal.cof_sup_le_lift

Modification history