Definitions bool 1 Doc

At: bimplies transitivity

u,v,w:. uv vw uw
By:
RepeatMFor 3 (Analyze 0)
THEN
BoolEval
THEN
AbReduce 0
Generated subgoals:

None