Stream: Beginner Questions

Topic: ✔ to_nat (from_nat x) = x

view this post on Zulip Manuel Eberl (Oct 21 2022 at 16:39):

It generally has some nicer properties. It would make sense to define to_nat in terms of to_nat_on and inherit all the nice properties.

view this post on Zulip Robert Soeldner (Oct 21 2022 at 17:18):

great answer, thank you

view this post on Zulip Notification Bot (Oct 21 2022 at 17:18):

Robert Soeldner has marked this topic as resolved.

Last updated: Dec 07 2023 at 20:16 UTC