Theorem Ordinal.lift_omega

Modification history