law or_and_absorb_sym

bend-mathlib@0.8.1.0 · bool.bend:725

import Base

725# Absorption: a or (a and b) is a, reversed to rewrite toward the simple side.
726law or_and_absorb_sym:
727  for a: Bool
728  for -b: Bool
729  {a == Bool.or(a, Bool.and(a, b)) : Bool}