(7steps total)
PrintForm
Definitions
Lemmas
graph
1
2
Sections
Graphs
Doc
At:
div-graph-iso
1
1
1
1
1.
i:
2.
j:
3.
c:
4.
j = i
c
0 < c
By:
Inst
Thm*
a,b:
. a
b > 0
a > 0 & b > 0
a < 0 & b < 0 [i;c]
THEN
Analyze -1
THEN
Analyze -2
Generated subgoals:
None
About:
(7steps total)
PrintForm
Definitions
Lemmas
graph
1
2
Sections
Graphs
Doc
c
0 < c
a,b:
a > 0 & b > 0 
a < 0 & b < 0
[i;c]