mathlib3

chore(data/equiv/algebra): add `ring.to_mul/add_equiv`, DRY

#1247

Merged