IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem | Name |
Thm* a,b: . a | b  a | -b | [divides_invar_2] |
cites the following: |
Thm* a: . -(-a) = a | [minus_minus_cancel] |
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html