law true_or_sym

bend-mathlib@0.8.1.0 · bool.bend:638

import Base

638# True absorbs or on the left: true or a is true, reversed to rewrite toward the simple side.
639law true_or_sym:
640  for -a: Bool
641  {True{} == Bool.or(True{}, a) : Bool}