Theorem Algebra.TensorProduct.mapOfCompatibleSMul_surjective

Modification history