int
2
Sections
StandardLIB
Doc
Rank
Theorem
Name
6
Thm*
a:
, n:
.
q:
. Div(a;n;q) & (a
n) = q
[div_elim]
cites
5
Thm*
a:
, n:
. Div(a;n;a
n)
[div_fun_sat_div_nrel]
int
2
Sections
StandardLIB
Doc
a:
, n:
. 
q:. Div(a;n;q) & (a 
n) = qa:, n:. Div(a;n;a n)a:, n:. q:. Div(a;n;q) & (a n) = qa:, n:. Div(a;n;a n)