(7steps) PrintForm bool 2 jlc Sections Support(jlc) Doc

At: assert of bool eq bfalse false 1 2 1 1
1. true = false

False
By:
ApFunToHypEquands `x' if x 0 else 1 fi -1
THEN
AbReduce -1
Generated subgoals:

None

About:
boolbfalsebtrueifthenelseintnatural_numberequalfalse

(7steps) PrintForm bool 2 jlc Sections Support(jlc) Doc