law and_comm

lawful-words@0.1.0.0 · proof_bytes.bend:13

import Base

13law and_comm:
14  for +a: Bool
15  for +b: Bool
16  {Bool.and(a, b) == Bool.and(b, a) : Bool}