Theorem PiTensorProduct.smul_tprod_mul_smul_tprod

Modification history