chore: add missing to_additive docstrings in Combinatorics and Dynamics#41645

adomani wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

adomani:to_additive-docs-combinatorics-dynamicsadomani/mathlib4:to_additive-docs-combinatorics-dynamicsCopy head branch name to clipboard