Theorem LinearMap.smul_compMultilinearMap

Modification history