law memn_append_r

minebender-game@1.0.0.0 · proof_cells.bend:91

import Base

91law memn_append_r:
92  for +xs: List<&2, Nat>
93  for +ys: List<&2, Nat>
94  for +i: Nat
95  for e: {memn(ys, i) == True{} : Bool}
96  {memn(List.append(&2, Nat, xs, ys), i) == True{} : Bool}