Nuprl - Proof: dneg elim a 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: dneg elim a 2

1. A : Prop
2. Dec(A)
3. A

By:

Analyze 0

Generated subgoals:

None

About:

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