Theorem TopologicalSpace.Closeds.mem_closure

Modification history

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