Theorem Ordinal.IsNormal.limit_le

Modification history