Theorem LowerSetTopology.IsOpen_iff_IsLowerSet

Modification history