Theorem AddMonoidAlgebra.ne_zero_of_supDegree_ne_bot

Modification history