Theorem Sigma.uncurry_one

Modification history