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

At: rem sym 2


a:, n:. (a rem n) = (a rem -n)

By: Assert (a:, n:. (a rem n) = (a rem -n))

Generated subgoals:

1 a:, n:. (a rem n) = (a rem -n)
21. a:, n:. (a rem n) = (a rem -n)
a:, n:. (a rem n) = (a rem -n)


About:
intminusremainderequalall

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