mathlib3

feat(tactic/squeeze): remove noise from output

#1047

Merged