law xor_true_sym

bend-mathlib@0.8.1.0 · bool.bend:769

import Base

769# Xor with true negates: a xor true is not a, reversed to rewrite toward the simple side.
770law xor_true_sym:
771  for a: Bool
772  {Bool.not(a) == Bool.xor(a, True{}) : Bool}