law pl_and_l

lawful-bytes@0.1.1.0 · proof_list.bend:47

import Base

47law pl_and_l:
48  for +a: Bool
49  for +b: Bool
50  for +e: {Bool.and(a, b) == True{} : Bool}
51  {a == True{} : Bool}