(9steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: rem sym 2 2 2 1
1. a:, n:. (a rem n) = (a rem -n)
2. a:
3. n:
4. n0
5. (a rem -n) = (a rem -(-n))

(a rem n) = (a rem -n)
By: Auto
Generated subgoals:

None

About:
intnatural_numberminusremainderequalall

(9steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc