law iz

lawful-bytes@0.1.1.0 · proof_fast_w2.bend:66

import Base
import lawful-words@0.1.0.0/proof_zb.bend as Z

66law iz:
67  for +w: Word(32n)
68  {U32.is_zero(U32{w}) == Z.allz(32n, w) : Bool}