mathlib3

d0df6b81 - feat(data/equiv/mul_add): refl_apply and trans_apply (#3470)