Theorem LinearMap.BilinMap.tensorDistribEquiv_apply

Modification history