law false_or_sym

bend-mathlib@0.8.1.0 · bool.bend:622

import Base

622# False is a left identity for or: false or a is a, reversed to rewrite toward the simple side.
623law false_or_sym:
624  for -a: Bool
625  {a == Bool.or(False{}, a) : Bool}