Theorem TensorPower.cast_tprod

Modification history