law nth4_same

lawful-bytes@0.1.1.0 · proof_fast_w2.bend:149

import Base
import lawful-words@0.1.0.0/defs.bend as W

149law nth4_same:
150  for +j: Nat
151  for +c: U32
152  {W.nth4(j, c, c, c, c) == c : U32}