Theorem PiTensorProduct.tprod_mul_tprod

Modification history