law or_assoc

bend-mathlib@0.8.1.0 · bool.bend:64

import Base

64# Boolean or is associative.
65law or_assoc:
66  for a: Bool
67  for -b: Bool
68  for -c: Bool
69  {Bool.or(Bool.or(a, b), c) == Bool.or(a, Bool.or(b, c)) : Bool}