graph
1
2
Sections
Graphs
Doc
Rank
Theorem
Name
4
Thm*
For any graph
A,B:V List. A = B
A-- > *B
[list-list-connect_weakening]
cites
3
Thm*
For any graph
A,B:V List. B
A
A-- > *B
[list-list-connect-iseg]
graph
1
2
Sections
Graphs
Doc
A,B:V List. A = B 
A-- > *BA,B:V List. B 
A A-- > *BA,B:V List. A = B A-- > *BA,B:V List. B A A-- > *B