Mathlib v3 is deprecated. Go to Mathlib v4

Theorem inseparable_eq_eq

Modification history

2022-09-15 09:41
src/topology/separation.lean
chore(topology/separation): move/add `simp` lemmas (#16470) …
Added inseparable_eq_eqView on Github →