int
2
Sections
StandardLIB
Doc
Rank
Theorem
Name
7
Thm*
a:
, n:
. (a rem n) = -((-a) rem n)
[rem_sym_1a]
cites
6
Thm*
a:
, n:
. -(a rem n) = ((-a) rem n)
[rem_sym_1]
int
2
Sections
StandardLIB
Doc
a:
, n:
. (a rem n) = -((-a) rem n)a:, n:. -(a rem n) = ((-a) rem n)a:, n:. (a rem n) = -((-a) rem n)a:, n:. -(a rem n) = ((-a) rem n)