law rep_len

minebender-game@1.0.0.0 · proof_lists.bend:382

import Base

382law rep_len:
383  for -A: Data
384  for +n: Nat
385  for +v: A
386  {List.length(&2, A, List.replicate(A, n, v)) == n : Nat}