Theorem Ordinal.lift_omega0

Modification history