Theorem PiTensorProduct.smul_tprodCoeff'

Modification history