Def genericPoints.ofComponent

Modification history

2024-10-17 09:17

Mathlib/Topology/Sober.lean

feat(Topology): set of generic points of generic components (#15407)

Added genericPoints.ofComponent View on Github →