Theorem Ordinal.IsNormal.apply_of_isLimit

Modification history