mathlib3

986cabf3 - fix(linear_algebra/multilinear): Fix incorrect type constraints on `dom_dom_congr` (#5203)

fix(linear_algebra/multilinear): Fix incorrect type constraints on `dom_dom_congr` (#5203) In the last PR, I accidentally put this in a section with `[comm_semiring R]`, but this only actually requires `[semiring R]`