mathlib

184e0fe4 - fix(equiv/ring): fix bad typeclasses on ring_equiv.trans_apply (#7258)