Theorem MonoidAlgebra.neg_apply

Modification history