Theorem TensorProduct.smul_tmul

Modification history