Theorem GradedTensorProduct.auxEquiv_tmul

Modification history