Theorem Ordinal.lsub_lt_ord

Modification history