Theorem Ordinal.lsub_lt_ord_lift

Modification history