Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-06 22:46 652357ac

View on Github →

feat(data/nat/choose/sum): alternate forms of the binomial theorem (#7415)

Estimated changes

added theorem commute.add_pow'
modified theorem commute.add_pow