Theorem GradedTensorProduct.of_symm_of

Modification history