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