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

At: rem 2 to 1

a:{...0}, n:. (a rem n) = -((-a) rem n)
By: UnivCD
Generated subgoal:

11. a: {...0}
2. n:
(a rem n) = -((-a) rem n)

About:
intnatural_numberminusremainderequalall

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