law allz_andz

lawful-words@0.1.0.0 · proof_zb.bend:66

import Base

66law allz_andz:
67  for +n: Nat
68  for +r: Word(n)
69  {allz(n, Word.and(n, r, Word.zero(n))) == True{} : Bool}