Theorem AddMonoidAlgebra.supDegree_sub_le

Modification history