Def TensorProduct.piScalarRightHom

Modification history