graph
1
2
Sections
Graphs
Doc
Def
l1
l2 ==
l:T List. l2 = (l1 @ l)
is mentioned by
Thm*
For any graph
A,B:V List. B
A
A-- > *B
[list-list-connect-iseg]
In prior sections:
mb
list
1
Try larger context:
Graphs
graph
1
2
Sections
Graphs
Doc
A,B:V List. B 
A 
A-- > *B l2 == 
l:T List. l2 = (l1 @ l)
A,B:V List. B A A-- > *B