Def genericPoints.component

Modification history

2024-10-17 09:17

Mathlib/Topology/Sober.lean

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

Added genericPoints.component View on Github →