law sv0

lawful-bytes@0.1.1.0 · proof_shift.bend:450

import Base

450law sv0:
451  for +xs: List<&2, U32>
452  for +kk: Nat
453  {SV(xs, kk, 0n) == xs : List<&2, U32>}