Zulip Chat Archive
Stream: new members
Topic: fin n to list
Keeley Hoek (Jun 10 2019 at 07:42):
For l : list \alpha, is there a map `finth : fin l.length -> \alpha'?
Chris Hughes (Jun 10 2019 at 09:25):
list.nth and list.nth_le are the closest.
Last updated: Dec 20 2023 at 11:08 UTC