law and4_intro

minebender-game@1.0.0.0 · proof_walk.bend:59

import Base

59law and4_intro:
60  for +a: Bool
61  for +b: Bool
62  for +c: Bool
63  for +d: Bool
64  for ea: {a == True{} : Bool}
65  for eb: {b == True{} : Bool}
66  for ec: {c == True{} : Bool}
67  for ed: {d == True{} : Bool}
68  {Bool.and(Bool.and(Bool.and(a, b), c), d) == True{} : Bool}