Theorem Ordinal.enumOrd_strictMono

Modification history