Theorem AddMonoidAlgebra.supDegree_zero

Modification history