Theorem Algebra.TensorProduct.lift_comp_includeRight

Modification history