Theorem Ordinal.IsNormal.apply_omega

Modification history