Theorem Algebra.TensorProduct.lmul'_comp_includeRight

Modification history