This module contains the Bool simplifying part of the bv_normalize simp set.

theorem Std.Tactic.BVDecide.Normalize.Bool.not_xor (a : Bool) (b : Bool) : (!decide (xor a b = (a == b))) = true