Theorem Sigma.curry_mulSingle

Modification history