law and_assoc

lawful-bytes@0.1.1.0 · proof_same.bend:397

import Base

397law and_assoc:
398  for +a: Bool
399  for +b: Bool
400  for +c: Bool
401  {Bool.and(Bool.and(a, b), c) == Bool.and(a, Bool.and(b, c)) : Bool}