def and_assoc

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/listops.bend:32

import Base

32def and_assoc(a: Bool, +b: Bool, +c: Bool) -> {Bool.and(Bool.and(a, b), c) == Bool.and(a, Bool.and(b, c)) : Bool}:
33  match a:
34    case True{}:
35      {==}
36    case False{}:
37      {==}