law or_false_sym

bend-mathlib@0.8.1.0 · bool.bend:614

import Base

614# False is a right identity for or: a or false is a, reversed to rewrite toward the simple side.
615law or_false_sym:
616  for a: Bool
617  {a == Bool.or(a, False{}) : Bool}