def next_cursor

bendtorch-core@0.1.0.0 · src/autograd/reduce_fiber_proof.bend:554

import bendtorch-core@0.1.0.0/src/autograd/reduce_fiber_proof.bend as ReduceFiberProof

import Base

554def next_cursor(+digit: Nat, +stride: Nat) -> {Nat.mul(1n+digit, stride) == Nat.add(Nat.mul(digit, stride), stride) : Nat}:
555  add_comm(stride, Nat.mul(digit, stride))

Uses (4)

Used by (3)