Theorem TopologicalSpace.Opens.mem_interior

Modification history

2024-09-06 08:34
Mathlib/Topology/Sets/Opens.lean
chore(Topology/Sets): add `simp(s)` lemmas (#15955)
Added TopologicalSpace.Opens.mem_interiorView on Github →