Nuprl - Proof: bool sim false

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: bool sim false

. b = false

(b ~ false

)

By:

UnivCD

Generated subgoal:

1 1. b :
2. b = false
b ~ false
1 step

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html