mathlib3

fix(tactic/ring): more precise pattern match for div

#1557

Merged