Theorem Ordinal.type_subrel_lt

Modification history