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

At: div-graph-iso 1 1 1
1. i:
2. j:
3. c:. j = ic
c:. j = ic
By:
ParallelOp -1
THEN
Try Easy
Generated subgoal:

13. c:
4. j = ic
0 < c		1 step

About:
intnatural_numbermultiplyless_thanequalexists

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