Theorem TensorAlgebra.tprod_apply

Modification history