law and_true_l

lawful-words@0.1.0.0 · proof_nat.bend:65

import Base

65law and_true_l:
66  for +a: Bool
67  for +b: Bool
68  for e: {Bool.and(a, b) == True{} : Bool}
69  {a == True{} : Bool}