law range_acc

minebender-game@1.0.0.0 · proof_base.bend:306

import Base

306law range_acc:
307  for +n: Nat
308  for +acc: List<&2, Nat>
309  {List.range.go(n, acc) == List.append(&2, Nat, List.range.go(n, Nil{}), acc) : List<&2, Nat>}