Theorem Ordinal.IsNormal.self_le

Modification history