Theorem genericPoints.finite

Modification history

2024-10-17 09:17

Mathlib/Topology/Sober.lean

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

Added genericPoints.finite View on Github →