Zulip Chat Archive
Stream: Is there code for X?
Topic: int.cast for fin
Chris Hughes (Jan 27 2023 at 15:05):
Do we have the coercion int -> fin (n+1)? I know we have it for nat but I couldn't find an int version.
Anne Baanen (Jan 27 2023 at 15:06):
Shouldn't this automatically derive from the comm_ring (add_group_with_one) instance?
Chris Hughes (Jan 27 2023 at 15:07):
I don't think there are either of those instance for fin
Anne Baanen (Jan 27 2023 at 15:08):
Chris Hughes (Jan 27 2023 at 15:08):
Ah. It's in the zmod folder not the fin folder
Last updated: Dec 20 2023 at 11:08 UTC