law range_length

minebender-game@1.0.0.0 · proof_base.bend:332

import Base

332law range_length:
333  for +n: Nat
334  {List.length(&2, Nat, List.range(n)) == n : Nat}