(5steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
rem
rec
case
1
1
1
1.
a:
2.
n:
3.
a
n
a-(((a-n)
n)+1)
n = a-n-((a-n)
n)
n
By:
ArithSimp 0
Generated subgoal:
1
a+-n+-n
((a+-n)
n) = a+-n+-n
((a+-n)
n)
About:
(5steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
a+-n+-n
((a+-n) 
n) = a+-n+-n((a+-n) n)
n a-(((a-n) n)+1)n = a-n-((a-n) n)n a+-n+-n((a+-n) n) = a+-n+-n((a+-n) n)
