law is_zero_xor

lawful-words@0.1.0.0 · proof_u32.bend:355

import Base

355law is_zero_xor:
356  for +a: U32
357  for +b: U32
358  {U32.is_zero(U32.xor(a, b)) == U32.is_eq(a, b) : Bool}