Theorem PiTensorProduct.smul_tprodCoeff

Modification history