mathlib
a337782b - chore(data/list/range): fix incorrect docstring (#16622)

Commit
3 years ago
chore(data/list/range): fix incorrect docstring (#16622) The description of `iota` was incorrect (this can be easily checked by viewing its definition, using `#eval` or looking at any of the lemmas about it) Co-authored-by: Bhavik Mehta <bm489@cam.ac.uk>
Author
Parents
Loading