Theorem LowerSetTopology.isOpen_iInter

Modification history