Theorem TensorProduct.one_gradedMul

Modification history