law or_not_self_sym

bend-mathlib@0.8.1.0 · bool.bend:688

import Base

688# A boolean or its negation is always true: a or (not a) is true, reversed to rewrite toward the simple side.
689law or_not_self_sym:
690  for a: Bool
691  {True{} == Bool.or(a, Bool.not(a)) : Bool}