law wbit_xor

lawful-words@0.1.0.0 · proof_word.bend:875

import Base

875law wbit_xor:
876  for +n: Nat
877  for +a: Word(n)
878  for +b: Word(n)
879  for +k: Nat
880  {wbit(n, Word.xor(n, a, b), k) == Bool.xor(wbit(n, a, k), wbit(n, b, k)) : Bool}