diff --git a/src/graph-theory/finite-undirected-graphs.lagda.md b/src/graph-theory/finite-undirected-graphs.lagda.md index d7e3fe7cc2..8f9428b107 100644 --- a/src/graph-theory/finite-undirected-graphs.lagda.md +++ b/src/graph-theory/finite-undirected-graphs.lagda.md @@ -1,4 +1,4 @@ -# Finite graphs +# Finite undirected graphs ```agda module graph-theory.finite-undirected-graphs where