mathlib3
feat(tactic/squeeze): improve suggestion of `cases x; squeeze_simp`
#2218
Merged
Merged