PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: rem sym 1a

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

None

About:
intminusremainderequalall

PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc