Theorem Finsupp.filter_apply

Modification history