Theorem Ordinal.le_lift_iff

Modification history