Theorem TopologicalSpace.Opens.mem_sup

Modification history

2026-01-23 14:21
Mathlib/Topology/Sets/Opens.lean
chore: add missing mem lemmas (#33801) …
Added TopologicalSpace.Opens.mem_supView on Github →