Theorem Finsupp.filter_apply_neg

Modification history