Theorem Ordinal.IsNormal.le_iff_eq

Modification history