Theorem PiTensorProduct.tprod_eq_tprodCoeff_one

Modification history