Theorem Algebra.TensorProduct.lmul'_toLinearMap

Modification history