Session Graph_Theory
View
theory dependencies
View
document
View
outline
Theories
Rtrancl_On
Stuff
Digraph
HOL-Combinatorics.Transposition
HOL-Combinatorics.Permutations
Bidirected_Digraph
Arc_Walk
Pair_Digraph
Digraph_Component
Vertex_Walk
Digraph_Component_Vwalk
Digraph_Isomorphism
HOL-Combinatorics.Orbits
Auxiliary
Subdivision
Euler
Kuratowski
Weighted_Graph
Shortest_Path
Graph_Theory