Theorem finprod_curry₃

Modification history