Theorem Ordinal.isNormal_iff_strictMono_and_continuous

Modification history