chore(linear_algebra/multilinear): relax requirements on `multilinear_map.pi_ring_equiv` (#7117)
chore(linear_algebra/multilinear): relax requirements on `multilinear_map.pi_ring_equiv` (#7117)







leanprover-community/mathlib,leanprover-community/mathlib