Theorem TopologicalSpace.Opens.gc

Modification history

2024-09-06 08:34
Mathlib/Topology/Sets/Opens.lean
chore(Topology/Sets): add `simp(s)` lemmas (#15955)
Modified TopologicalSpace.Opens.gcView on Github →
2023-02-11 07:51
Mathlib/Topology/Sets/Opens.lean
feat: port Topology.Sets.Opens (#2118)
Added TopologicalSpace.Opens.gcView on Github →