mathlib3

fix(tactic/squeeze): compatibility with `simp [<-...]`

#1923

Merged