Generalize rewrite from product(piecewise(i=3,f(i),1),i=1..10) to f(3)
Generalize rewrite from product(piecewise(i=3,f(i),1),i=1..10) to f(3)

Now the condition i=3 can be found inside an And.

zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru