Theorem Ordinal.lift_mul

Modification history