Theorem TopologicalSpace.Opens.«forall»

Modification history

2023-02-11 07:51

Mathlib/Topology/Sets/Opens.lean

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

Added TopologicalSpace.Opens.«forall»View on Github →