Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.range_zero

Modification history

2021-01-20 16:12
src/data/list/range.lean
chore(data/list/range): Add range_zero and rename range_concat to range_succ (#5821) …
Added list.range_zeroView on Github →