Def TopologicalSpace.Opens.gi

Modification history

2024-09-06 08:34

Mathlib/Topology/Sets/Opens.lean

chore(Topology/Sets): add `simp(s)` lemmas (#15955)

Modified TopologicalSpace.Opens.gi View on Github →

2023-02-11 07:51

Mathlib/Topology/Sets/Opens.lean

feat: port Topology.Sets.Opens (#2118)

Added TopologicalSpace.Opens.gi View on Github →