Theorem Ordinal.IsNormal.refl

Modification history