Nuprl - Proof: bool ind 1

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

1. P :

Prop
2. P(false

)
3. P(true

)
4. b :

P(b)

By:

BoolInd 4

Generated subgoals:

None

About:

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