Nuprl Basics - Proof: sfa doc whatever in void dom fun

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

A:Type. (

x.whatever) = (

x.x)

Void

By:

Auto

Generated subgoal:

1 1. A : Type
(x.whatever) = (x.x) VoidA
2 steps

About:

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