Theorem LinearMap.compMultilinearMap_add

Modification history