Theorem Ordinal.enumOrd_injective

Modification history