Theorem TensorProduct.tmul_zero

Modification history