Theorem TensorProduct.sub_tmul

Modification history