Theorem Ordinal.IsNormal.eq_iff_zero_and_succ

Modification history