law or_and_absorb

bend-mathlib@0.8.1.0 · bool.bend:284

import Base

284# Absorption: a or (a and b) is a.
285law or_and_absorb:
286  for a: Bool
287  for -b: Bool
288  {Bool.or(a, Bool.and(a, b)) == a : Bool}