law xor_comm

bend-mathlib@0.8.1.0 · bool.bend:297

import Base

297# Exclusive or is commutative.
298law xor_comm:
299  for a: Bool
300  for b: Bool
301  {Bool.xor(a, b) == Bool.xor(b, a) : Bool}