Theorem AddMonoidAlgebra.supDegree_sum_le

Modification history