Theorem Sigma.uncurry_inv

Modification history