Theorem TopologicalSpace.Opens.mem_comap

Modification history

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