Theorem Ordinal.lift_pred

Modification history