Commit 2024-10-19 00:45 6e38c664
View on Github →feat: algebraic properties of LinearMap.compMultilinear
(#17932)
This also demotes LinearMap.compAlternatingMap
to a plain function, for consistency.
To make up for this loss, it introduces LinearMap.compAlternatingMapₗ
as the stronger linear version.