Theorem Finsupp.filter_curry

Modification history