Theorem Finsupp.support_neg

Modification history