Theorem Ordinal.natCast_lt

Modification history