Theorem Ordinal.IsNormal.sup

Modification history