Theorem Algebra.TensorProduct.lift_includeLeft_includeRight

Modification history