Theorem IsIrreducible.genericPoint_spec

Modification history

2024-10-17 09:17

Mathlib/Topology/Sober.lean

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

Deleted IsIrreducible.genericPoint_spec View on Github →

2023-02-07 08:39

Mathlib/Topology/Sober.lean

feat: port Topology.Sober (#2134)

Added IsIrreducible.genericPoint_spec View on Github →