Theorem MonoidAlgebra.single_neg

Modification history