Theorem Ordinal.isNormal_omega

Modification history