mathlib3
feat(tactic/{abel,ring}): state conditions of tactics more precisely
#1423
Merged
Merged