Commit 2022-11-06 02:20 228404df
View on Github →chore(data/nat/order): move some results about range succ (#17365) Extracted lemmas that were added in #4199 and #16918.
chore(data/nat/order): move some results about range succ (#17365) Extracted lemmas that were added in #4199 and #16918.