law and_zero

stelliferous@0.0.2.0 · proofs/word_encoding.bend:265

import Base

265law and_zero:
266  for +n: Nat
267  for +w: Word(n)
268  {Word.and(n,w,Word.zero(n)) == Word.zero(n) : Word(n)}