law wor0

lawful-bytes@0.1.1.0 · proof_fast_w2.bend:112

import Base

112law wor0:
113  for +n: Nat
114  for +x: Word(n)
115  {Word.or(n, x, Word.zero(n)) == x : Word(n)}