law and_true_l

minebender-game@1.0.0.0 · proof_base.bend:30

import Base

30law and_true_l:
31  for +a: Bool
32  for +b: Bool
33  for e: {Bool.and(a, b) == True{} : Bool}
34  {a == True{} : Bool}