(4steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: div unique

a:, n:, p,q:. Div(a;n;p) Div(a;n;q) p = q
By: UnivCD
Generated subgoal:

11. a:
2. n:
3. p:
4. q:
5. Div(a;n;p)
6. Div(a;n;q)
p = q

About:
intequalimpliesall

(4steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc