(70steps total)
PrintForm
Definitions
Lemmas
graph
1
3
Sections
Graphs
Doc
At:
adjm
to
adjl
graph
1
2
2
2
1
1
1
1
1
1.
size:
2.
m1:
size
size
3.
b:
size
size
4.
m1(1of(b),2of(b))
5.
(2of(b)
upto(0;size))
(2of(b)
upto(0;size))
By:
RepeatFor 2 (ParallelOp -1)
THEN
Analyze -1
Generated subgoals:
None
About:
(70steps total)
PrintForm
Definitions
Lemmas
graph
1
3
Sections
Graphs
Doc