Theorem isGδ_iff_eq_iInter_nat

Modification history

2024-01-29 06:37
Mathlib/Topology/GDelta.lean
feat: minor topological improvements (#9908) …
Added isGδ_iff_eq_iInter_natView on Github →