law alln_append

minebender-game@1.0.0.0 · proof_cells.bend:335

import Base

335law alln_append:
336  for +xs: List<&2, Nat>
337  for +ys: List<&2, Nat>
338  for +n: Nat
339  for +a: {alln(xs, n) == True{} : Bool}
340  for b: {alln(ys, n) == True{} : Bool}
341  {alln(List.append(&2, Nat, xs, ys), n) == True{} : Bool}