Added general theorems for fold_image, setsum and set_prod
Added general theorems for fold_image, setsum and set_prod

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle