Theorem Ordinal.lt_lift_iff

Modification history