IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
stamps sfa212 1. i :
2. 8<i 3. m :
4. n :
5. 3m+5n = i-1
6. n = 0
m,n:. 3m+5n = i
By:
Witness: m+2 | n-1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html