PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
add
mono
wrt
eq
rw
a
,
b
,
n
:
.
a
=
b
a
+
n
=
b
+
n
By:
RemoveGuards Concl
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
a,b,n:
. a = b 
a+n = b+n
