law range_get

minebender-game@1.0.0.0 · proof_base.bend:350

import Base

350law range_get:
351  for +n: Nat
352  for +i: Nat
353  for e: {Nat.is_lt(i, n) == True{} : Bool}
354  {List.get(&2, Nat, List.range(n), i) == Some{i} : Maybe<&2, Nat>}