Theorem TensorProduct.smul_tmul'

Modification history