Theorem TensorProduct.tmul_add

Modification history