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

At: rem sym 1 4 1
1. a:
2. n:
3. 0a
4. 0n

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

None

About:
intnatural_numberminusremainderequal

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