Theorem Ordinal.IsNormal.apply_omega0

Modification history