Theorem Ordinal.isNormal_iff_strictMono_limit

Modification history