Theorem Ordinal.IsNormal.strictMono

Modification history