Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.range_add

Modification history

2021-12-13 09:36

src/data/list/range.lean

feat(data/{list, multiset, finset}/range): add range_add (#10706) …

Added list.range_add View on Github →