Theorem TensorProduct.assoc_tmul

Modification history