Theorem Ordinal.cof_blsub_le_lift

Modification history