Theorem Ordinal.enumOrd_lt_enumOrd

Modification history