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.