Theorem Algebra.TensorProduct.comm_comp_includeRight

Modification history