Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.prod_range_succ'

Modification history

2020-04-10 18:03
src/data/list/range.lean
feat(data/list/range): add sum lemmas (#2385) …
Added list.prod_range_succ'View on Github →