Zulip Chat Archive
Stream: Is there code for X?
Topic: computable finset to list
Patrick Thomas (Aug 24 2022 at 05:19):
Is there a computable function to take a finset to a list, or is that not possible?
Yaël Dillies (Aug 24 2022 at 05:20):
Patrick Thomas (Aug 24 2022 at 05:21):
Awesome! Thank you!
Last updated: Dec 20 2023 at 11:08 UTC