Nuprl - Proof: sq sq iff sq

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sq sq 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