Theorem Ordinal.lift_natCast

Modification history