Theorem IsIrreducible.isGenericPoint_genericPoint_closure

Modification history

2024-10-17 09:17
Mathlib/Topology/Sober.lean
feat(Topology): set of generic points of generic components (#15407)
Added IsIrreducible.isGenericPoint_genericPoint_closureView on Github →