law memn_append_l

minebender-game@1.0.0.0 · proof_cells.bend:107

import Base

107law memn_append_l:
108  for +xs: List<&2, Nat>
109  for +ys: List<&2, Nat>
110  for +i: Nat
111  for e: {memn(xs, i) == True{} : Bool}
112  {memn(List.append(&2, Nat, xs, ys), i) == True{} : Bool}