law and_true_r

lawful-words@0.1.0.0 · proof_nat.bend:78

import Base

78law and_true_r:
79  for +a: Bool
80  for +b: Bool
81  for e: {Bool.and(a, b) == True{} : Bool}
82  {b == True{} : Bool}