Theorem Ordinal.enumOrd_isNormal_iff_isClosed

Modification history