Theorem TensorProduct.tmul_sub

Modification history