chore(tactic/interactive): make squeeze_simp available by default (#521)
chore(tactic/interactive): make squeeze_simp available by default (#521)


leanprover-community/mathlib,leanprover-community/mathlib