IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
card nsub0 union
1
1
1
1. A : Type
0 =ext {x:A| False }
| By: |
Analyze THEN Analyze-1 |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
