Theorem Ordinal.lift_cof

Modification history