Theorem Algebra.TensorProduct.includeLeft_surjective

Modification history