mathlib
18a5306c - docs(data/nat/choose/sum): binomial theorem is for commuting elements (#18071)

Commit
3 years ago
docs(data/nat/choose/sum): binomial theorem is for commuting elements (#18071) Co-authored-by: madvorak <dvorakmartinbridge@seznam.cz>
Author
Parents
Loading