Directed graph
(no description is available)
ProofWiki: Definition:Directed GraphMathWorld: DirectedGraph
Wikipedia (English): Directed graph
Encyclopedia of Mathematics: Graph, oriented
Agda Unimath: directed graph
Wikidata: directed graph
Agda Unimath: directed graph structure