feat(Combinatorics/Enumerative): GeneratingFunction/ part 2/13#39660

rwst wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

rwst:comb02rwst/mathlib4:comb02Copy head branch name to clipboard