law and_not_self_sym

bend-mathlib@0.8.1.0 · bool.bend:680

import Base

680# A boolean and its negation are never both true: a and (not a) is false, reversed to rewrite toward the simple side.
681law and_not_self_sym:
682  for a: Bool
683  {False{} == Bool.and(a, Bool.not(a)) : Bool}