Theorem Finsupp.curry_single

Modification history