Theorem Ordinal.lift_type_lt

Modification history