mathlib

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