Theorem TensorPower.tprod_mul_tprod

Modification history