law bool_or_left_comm_sym

bend-mathlib@0.8.1.0 · algebra.bend:446

import Base

446# Bool or is left-commutative, reversed to rewrite toward the simple side.
447law bool_or_left_comm_sym:
448  for +a: Bool
449  for +b: Bool
450  for +c: Bool
451  {Bool.or(b, Bool.or(a, c)) == Bool.or(a, Bool.or(b, c)) : Bool}