[Merged by Bors] - doc(Combinatorics): fix typos#30621

harahu wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

harahu:doc/comharahu/mathlib4:doc/comCopy head branch name to clipboard