Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_generic_point_iff_specializes

Modification history

2022-07-11 14:26

src/topology/sober.lean

chore(topological_space/sober): use `namespace` and `variables`, golf (#15042) …

Added is_generic_point_iff_specializes View on Github →