Theorem LowerSetTopology.IsOpen_sInter

Modification history