Theorem IsGδ.iInter_of_isOpen

Modification history