Nuprl Basics - Proof: sfa doc void dom fun degenerate 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc void dom fun degenerate 2

1. A : Type
2. X : {

x.x:Void

Void

By:

Analyze-1

Generated subgoals:

None

About:

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