law range_snoc

minebender-game@1.0.0.0 · proof_base.bend:325

import Base

325law range_snoc:
326  for +p: Nat
327  {List.range(1n+p) == List.append(&2, Nat, List.range(p), [p]) : List<&2, Nat>}