IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
card nat vs nat tuples all
1
1
(k:{k:
| 0 = k 
}
k
) ~ (k:1k)
| By: |
OOCifExteq THEN Analyze |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
