int
2
Sections
StandardLIB
Doc
Def
Rem(a;n;r) ==
q:
. Div(a;n;q) & q
n+r = a
is mentioned by
Thm*
a:
, n:
. Rem(a;n;a rem n)
[rem_fun_sat_rem_nrel]
Try larger context:
StandardLIB
int
2
Sections
StandardLIB
Doc