(16steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc

At: div rem unique 1 1 2 2 1 1 1 1 2
1. n:
2. x:
|n||x||n|
By: Inst Thm* a,b:, n:. ab nanb [1;|x|;|n|]
Generated subgoal:

1 1|x|1 step

About:
intnatural_numbermultiplyimpliesall

(16steps total) PrintForm Definitions Lemmas graph 1 1 Sections Graphs Doc