Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-10 08:52 d4005101

View on Github →

feat(data/nat/binomial): the binomial theorem (#214)

Estimated changes

added theorem finset.prod_range_succ
added theorem finset.sum_range_succ'
added theorem add_pow