Commit 2026-01-29 15:56 9b3bfed2
View on Github →feat(LinearAlgebra/Multilinear): composition of multilinear maps (#32600) The composition of a multilinear map with a family of multilinear maps is a multilinear map indexed by a dependent sum.
<!-- Your PR title will become the first line of the commit message. In this box, the text above the `