Theorem Sigma.curry_mul

Modification history