Mathlib v3 is deprecated. Go to Mathlib v4

Theorem specializes_eq_eq

Modification history

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