Theorem Algebra.TensorProduct.lmul'_comp_includeLeft

Modification history