Update src/graph-theory/finite-undirected-graphs.lagda.md

Co-authored-by: Fredrik Bakke <[email protected]>
UniMath · Oct 22, 2023 · fcde4d4 · fcde4d4
1 parent 810b63c
commit fcde4d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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