IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
| Who Cites int lower? |
|
int_lower | Def {...i} == {j:| ji } |
| | Thm* i:. {...i} Type |
|
le | Def AB == B<A |
| | Thm* i,j:. (ij) Prop |
|
not | Def A == A False |
| | Thm* A:Prop. (A) Prop |
Syntax: | | {...i} | | has structure: | | | int_lower(i) |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html