Theorem IsGδ.biInter_of_isOpen

Modification history