IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem | Name |
Thm* a,b: , n: . n a<n b  a<b | [mul_cancel_in_lt] |
cites the following: |
Thm* a,b: , n: . a b  n a n b | [mul_preserves_le] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html