mathlib3

fcd7a470 - fix(tactic/tauto) avoid returning invalid rfl proof from symm_eq