Theorem Algebra.TensorProduct.lift_comp_includeLeft

Modification history