[Merged by Bors] - feat(Algebra): add abstract prod_apply and FunLike.coe_prod#39657

mcdoll wants to merge 7 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

mcdoll:sum_applymcdoll/mathlib4:sum_applyCopy head branch name to clipboard