Theorem UpperSetTopology.IsOpen_sInter

Modification history