Theorem TopologicalSpace.Opens.isBasis_iff_nbhd

Modification history