lower case disambiguations

UniMath · Nov 28, 2023 · 876b325 · 876b325
1 parent 35c6c1f
commit 876b325
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/graph-theory/closed-walks-undirected-graphs.lagda.md b/src/graph-theory/closed-walks-undirected-graphs.lagda.md
@@ -22,7 +22,7 @@ open import graph-theory.undirected-graphs
 ## Idea
 
 A
-{{#concept "closed walk" Agda=closed-walk-Undirected-Graph Disambiguation="Undirected Graph" WDID=Q245595 WD="Cycle"}}
+{{#concept "closed walk" Agda=closed-walk-Undirected-Graph Disambiguation="undirected graph" WDID=Q245595 WD="Cycle"}}
 of length `k : ℕ` in an [undirected graph](graph-theory.undirected-graphs.md)
 `G` is a [morphism](graph-theory.morphisms-undirected-graphs.md) of graphs from
 a [`k`-gon](graph-theory.polygons.md) into `G`.