(9steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
rem
sym
2
1
1
1
1.
a:
2.
n:
3.
a
0
(a rem n) = (a rem -n)
By:
RWN 2 (LemmaC
Thm*
a:
, n:{...-1}. (a rem n) = (a rem -n)) 0
THEN
ArithSimp 0
Generated subgoals:
None
About:
(9steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
0
(a rem n) = (a rem -n)
a:, n:{...-1}. (a rem n) = (a rem -n))
0
