The bounds of Lemma 4 are <=, not <, as is this branch's condition.
authorTaylor R Campbell <campbell@mumble.net>
Thu, 25 Oct 2018 05:09:48 +0000 (05:09 +0000)
committerTaylor R Campbell <campbell@mumble.net>
Thu, 25 Oct 2018 05:09:48 +0000 (05:09 +0000)
commitfa834172fd50fbd272cbc1c715ba6e48203a0f35
tree6a97b0105aad1b585d811c42d9118683691f019e
parent6c6db4beaee4e7f733607e01463430081083b8c2
The bounds of Lemma 4 are <=, not <, as is this branch's condition.
src/runtime/arith.scm