law pl_and_r

lawful-bytes@0.1.1.0 · proof_list.bend:60

import Base

60law pl_and_r:
61  for +a: Bool
62  for +b: Bool
63  for +e: {Bool.and(a, b) == True{} : Bool}
64  {b == True{} : Bool}