Part 2 of 2

DefinitionVertex-transitive graph#✓fully proved

A graph is vertex-transitive when its automorphism group acts transitively on vertices.

def IsVertexTransitive {V : Type*} (G : SimpleGraph V) : Prop :=
  ∀ u v : V, ∃ e : G ≃g G, e u = v

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.