Theorem AddMonoidAlgebra.supDegree_prod_le

Modification history