Zulip Chat Archive
Stream: general
Topic: finset subtract one
Abhimanyu Pallavi Sudhir (Nov 28 2019 at 15:27):
I want to take a finset of naturals and create a new finset of elements one less than each of these elements. What's the right way to do this? Is this what bind is for?
Kenny Lau (Nov 28 2019 at 15:27):
finset.image or finset.map
Reid Barton (Nov 28 2019 at 15:27):
Possibly. What do you want to do with 0?
Abhimanyu Pallavi Sudhir (Nov 28 2019 at 15:29):
finset.imageorfinset.map
Makes sense. Thanks.
Last updated: Dec 20 2023 at 11:08 UTC