Nuprl - Proof: sq not iff sq

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sq not iff sq

P:Prop.

(

By:

Auto

Generated subgoals:

1 1. P : Prop
2. (P)
P
1 step

2 1. P : Prop
2. P
(P)
1 step

About:

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