order): move some results about range succ (#17365)

Commit

3 years ago

chore(data/nat/order): move some results about range succ (#17365) Extracted lemmas that were added in #4199 and #16918.

Author

Ruben-VandeVelde

Parents