a:{...0}, n:
. (a rem n) = -((-a) rem n)a:
, n:
. (a rem n) = a-(a 
n)
na:{...0}, b:. (a b) = -((-a) b)| Rank | Theorem | Name |
| 5 |
Thm* a:{...0}, n:. (a rem n) = -((-a) rem n) | [rem_2_to_1] |
| cites | ||
| 1 |
Thm* a:, n:. (a rem n) = a-(a n)n | [rem_to_div] |
| 4 |
Thm* a:{...0}, b:. (a b) = -((-a) b) | [div_2_to_1] |