law wand_assoc

lawful-bytes@0.1.1.0 · proof_fast_w1.bend:17

import Base

17law wand_assoc:
18  for +n: Nat
19  for +x: Word(n)
20  for +y: Word(n)
21  for +z: Word(n)
22  {Word.and(n, x, Word.and(n, y, z)) == Word.and(n, Word.and(n, x, y), z) : Word(n)}