Theorem PiTensorProduct.mul_tprod_tprod

Modification history