Zulip Chat Archive
Stream: Is there code for X?
Topic: order isomorphism between ℕ and ℕ+
Violeta Hernández (Jul 08 2022 at 03:10):
Do we have the obvious order isomorphism between these two types?
Violeta Hernández (Jul 08 2022 at 04:22):
#15183 in case we don't
Eric Wieser (Jul 08 2022 at 08:19):
Is it available as some general statement built on docs#nat.cast?
Last updated: Dec 20 2023 at 11:08 UTC