Theorem List.rangeAux_range'

Modification history

2022-11-19 23:29
Mathlib/Data/List/Range.lean
chore: bump to nightly-2022-11-19 (#658)
Deleted List.rangeAux_range'View on Github →
2022-10-08 09:24
Mathlib/Data/List/Range.lean
feat: minimal port of `Fintype (Fin n)` (#433) …
Added List.rangeAux_range'View on Github →