Mathlib v3 is deprecated. Go to Mathlib v4

Theorem commute.add_pow'

Modification history

2021-05-06 22:46
src/data/nat/choose/sum.lean
feat(data/nat/choose/sum): alternate forms of the binomial theorem (#7415)
Added commute.add_pow'View on Github →