Theorem Algebra.TensorProduct.piRightHom_one

Modification history