Commit 2023-09-14 15:24 e3c514cd
View on Github →feat(LinearAlgebra/QuadraticForm/Prod): products are commutative up to isomorphism (#7139)
Surprisingly we're missing the whole tower of bundled Equiv.prodAssoc definitions, so this PR omits those too.