Theorem LinearMap.BilinMap.tensorDistribEquiv_tmul

Modification history