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

At: rem 3 to 1

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

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

About:
intnatural_numberminusremainderequalall

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