mathlib3

07735b8a - fix(tactic/squeeze_simp): "match failed" when `simp` works (#11659)

fix(tactic/squeeze_simp): "match failed" when `simp` works (#11659) Closes #11196. Co-authored-by: Arthur Paulino <arthurleonardo.ap@gmail.com> Co-authored-by: Arthur Paulino <arthurleonardo.ap@gmail.com> Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com>