IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
pigeon hole
1
1
1. m : 
2. k :
3. f : m
k
4. k<m
Inj(m; 
; f)
| By: |
m k Asserted |
Generated subgoal:
| 1 |
5. mk
Inj(m; ; f)
 | 4 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
