law and_true_r

lawful-arrays@0.1.0.0 · proof_base.bend:52

import Base

52law and_true_r:
53  for +a: Bool
54  for +b: Bool
55  for e: {Bool.and(a, b) == True{} : Bool}
56  {b == True{} : Bool}