Theorem Ordinal.enumOrd_inj

Modification history