Theorem GradedTensorProduct.of_symm_one

Modification history