Theorem Sigma.curry_one

Modification history