law u32_or_zero

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/subtle/word.bend:239

import Base

239law u32_or_zero:
240  for +x: U32
241  for +y: U32
242  {U32.is_eq(U32.or(x, y), 0) == Bool.and(U32.is_eq(x, 0), U32.is_eq(y, 0)) : Bool}