Theorem Ordinal.lift_one

Modification history