Theorem Ordinal.enumOrd_le_enumOrd

Modification history