Theorem Ordinal.cof_bsup_le_lift

Modification history