Theorem UpperSetTopology.isOpen_iInter

Modification history