law bool_and_left_comm

bend-mathlib@0.8.1.0 · algebra.bend:183

import Base

183# Bool and is left-commutative.
184law bool_and_left_comm:
185  for +a: Bool
186  for +b: Bool
187  for +c: Bool
188  {Bool.and(a, Bool.and(b, c)) == Bool.and(b, Bool.and(a, c)) : Bool}