law and_comm

bend-mathlib@0.8.1.0 · bool.bend:16

import Base

16# Boolean and is commutative.
17law and_comm:
18  for a: Bool
19  for b: Bool
20  {Bool.and(a, b) == Bool.and(b, a) : Bool}