Nuprl - Pf assert of eq bool iff equal bool

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

At: assert of eq bool iff equal bool

b1,b2:. b1=b2 b1 = b2

By: UnivCD

Generated subgoal:

1 1. b1:
2. b2:
b1=b2 b1 = b2

About:

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