Nuprl - Pf assert of eq bool iff equal bool 1 2

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

At: assert of eq bool iff equal bool 1 2

1. true = false

False

By: ApFunToHypEquands `z' if z 0 else 1 fi -1 THEN AbReduce -1

Generated subgoal:

1 2. 0 = 1
False

About:

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