law xor_false_sym

bend-mathlib@0.8.1.0 · bool.bend:761

import Base

761# False is an identity for xor: a xor false is a, reversed to rewrite toward the simple side.
762law xor_false_sym:
763  for a: Bool
764  {a == Bool.xor(a, False{}) : Bool}