Theorem Finsupp.curry_apply

Modification history