law and_true_l

lawful-arrays@0.1.0.0 · proof_base.bend:39

import Base

39law and_true_l:
40  for +a: Bool
41  for +b: Bool
42  for e: {Bool.and(a, b) == True{} : Bool}
43  {a == True{} : Bool}