Theorem genericPoint_spec

Modification history

2023-11-16 19:44

Mathlib/Topology/Sober.lean

style: cleanup by putting `by` on the same line as `:=` (#8407)

Modified genericPoint_spec View on Github →

2023-02-07 08:39

Mathlib/Topology/Sober.lean

feat: port Topology.Sober (#2134)

Added genericPoint_spec View on Github →