law bool_and_right_comm

bend-mathlib@0.8.1.0 · algebra.bend:193

import Base

193# Bool and is right-commutative.
194law bool_and_right_comm:
195  for +a: Bool
196  for +b: Bool
197  for +c: Bool
198  {Bool.and(Bool.and(a, b), c) == Bool.and(Bool.and(a, c), b) : Bool}