IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Rank | Theorem | Name |
| 2 | Thm*  i,j: . i j  | [multiply_nat_wf] |
| cites the following: |
| 1 | Thm* a,b:. 0 ab | [mul_bounds_1a] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
