Theorem Sigma.uncurry_mulSingle_mulSingle

Modification history