Theorem AddMonoidAlgebra.supDegree_neg

Modification history