Theorem LinearMap.BilinMap.tensorDistribEquiv_toLinearMap

Modification history