def peel2
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/nat.bend as Natimport Base
503def peel2(+i: Nat, +d: Nat) -> {Nat.divmod.go(Nat.add(2n, i), 1n, d, 0n) == Nat.divmod.go(i, 1n, 1n+d, 0n) : Nat & Nat}:
504 {==}
import bend-collections-laws-crypto@1.0.0.0/proofs/lib/nat.bend as Natimport Base
503def peel2(+i: Nat, +d: Nat) -> {Nat.divmod.go(Nat.add(2n, i), 1n, d, 0n) == Nat.divmod.go(i, 1n, 1n+d, 0n) : Nat & Nat}:
504 {==}