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

At: rem 2 to 1 1

1. a: {...0}
2. n:

(a rem n) = -((-a) rem n)

By: RWH (LemmaC Thm* a:, n:. (a rem n) = a-(a n)n) 0

Generated subgoal:

1 a-(a n)n = -(-a-((-a) n)n)


About:
intnatural_numberminussubtractmultiplydivideremainderequal

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