(8steps total)
PrintForm
Definitions
Lemmas
graph
1
3
Sections
Graphs
Doc
At:
adjm-edge-accum-properties
1
2
1
1.
M:
AdjMatrix
2.
T:
Type
3.
s:
T
4.
x:
M.size
5.
f:
T
M.size
T
6.
y:
M.size
7.
e1:
M.size
8.
e2:
M.size
9.
M.adj(e1,e2)
10.
< e1,e2 > = < x,y >
M.adj(x,y)
By:
Obvious
Generated subgoals:
None
About:
(8steps total)
PrintForm
Definitions
Lemmas
graph
1
3
Sections
Graphs
Doc
M.size
M.sizeT
M.size
M.size
M.size
M.adj(x,y)
