feat(LinearAlgebra/Multilinear/DirectSum, LinearAlgebra/DirectSum/{PiTensorProduct,Finsupp}): interaction between MultilinearMap
and DirectSum
, and between PiTensorProduct
and DirectSum
#11155
+331
−2