Theorem Ordinal.cof_lsub_le_lift

Modification history