(4steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
rem
4
to
1
1
1
1
1.
a:
2.
n:
{...-1}
a-(-(a
(-n)))
n = a-(a
(-n))
(-n)
By:
Auto
Generated subgoals:
None
About:
(4steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
a-(-(a 
(-n)))
n = a-(a (-n))(-n)
