Theorem TensorProduct.zero_tmul

Modification history