law bool_or_left_comm

bend-mathlib@0.8.1.0 · algebra.bend:203

import Base

203# Bool or is left-commutative.
204law bool_or_left_comm:
205  for +a: Bool
206  for +b: Bool
207  for +c: Bool
208  {Bool.or(a, Bool.or(b, c)) == Bool.or(b, Bool.or(a, c)) : Bool}