law xor_bit_eq

lawful-words@0.1.0.0 · proof_u32.bend:311

import Base

311law xor_bit_eq:
312  for +x: Bool
313  for +y: Bool
314  {Cmp.is_eq(Bool.cmp(Bool.xor(x, y), False{})) == Cmp.is_eq(Bool.cmp(x, y)) : Bool}