Yeah, that's what I was thinking . I had heard that mentioning non-nat numbers (ie, float I guess) could complicate proofs quite fast. :sweat_smile:
nat
Thanks!
Julin S has marked this topic as resolved.
Last updated: Aug 19 2022 at 20:03 UTC