law or_not_self

bend-mathlib@0.8.1.0 · bool.bend:231

import Base

231# A boolean or its negation is always true: a or (not a) is true.
232law or_not_self:
233  for a: Bool
234  {Bool.or(a, Bool.not(a)) == True{} : Bool}