Theorem AddMonoidAlgebra.single_neg

Modification history