law memn_range

minebender-game@1.0.0.0 · proof_cells.bend:143

import Base

143law memn_range:
144  for +n: Nat
145  for +i: Nat
146  for e: {Nat.is_lt(i, n) == True{} : Bool}
147  {memn(List.range(n), i) == True{} : Bool}