law and_true_r

minebender-game@1.0.0.0 · proof_base.bend:43

import Base

43law and_true_r:
44  for +a: Bool
45  for +b: Bool
46  for e: {Bool.and(a, b) == True{} : Bool}
47  {b == True{} : Bool}