feat(Combinatorics/Enumerative): GeneratingFunction/ part 3/13#39661

rwst wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

rwst:comb03rwst/mathlib4:comb03Copy head branch name to clipboard