Theorem Sigma.curry_inv

Modification history