(4steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
div
elim
a:
, n:
.
q:
. Div(a;n;q) & (a
n) = q
By:
UnivCD
Generated subgoal:
1
1.
a:
2.
n:
q:
. Div(a;n;q) & (a
n) = q
About:
(4steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
q:. Div(a;n;q) & (a 
n) = q 
a:, n:. q:. Div(a;n;q) & (a n) = q q:. Div(a;n;q) & (a n) = q
