Theorem AddMonoidAlgebra.apply_add_of_supDegree_eq

Modification history