Nuprl - Proof: prop to bool 2 char

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: prop to bool 2 char

P:Prop{2}. (

By:

Analyze 0

Generated subgoal:

1 1. P : Prop{2}
(P) P
5 steps

About:

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