Theorem Algebra.TensorProduct.includeLeftRingHom_comp_algebraMap

Modification history