Theorem Sigma.curry_update

Modification history