Theorem LinearMap.compMultilinearMap_smul

Modification history