IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Rank | Theorem | Name |
2 | Thm* p,q: . p *q q  | [qmul_wf] |
cites the following: |
1 | Thm* a,b: , n: . a<b  n a<n b | [mul_preserves_lt] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html