Mathlib v3 is deprecated. Go to Mathlib v4

Theorem indistinguishable_iff_specializes_and

Modification history

2022-06-01 17:27
src/topology/sober.lean
refactor(topology/separation): rename `indistinguishable` to `inseparable` (#14401) …
Deleted indistinguishable_iff_specializes_andView on Github →
2021-12-20 13:27
src/topology/sober.lean
feat(topology/sober): Specialization & generic points & sober spaces (#10914)
Added indistinguishable_iff_specializes_andView on Github →