Update src/graph-theory/walks-directed-graphs.lagda.md

Co-authored-by: Fredrik Bakke <[email protected]>
UniMath · Oct 22, 2023 · c43845d · c43845d
1 parent 282b42c
commit c43845d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/graph-theory/walks-directed-graphs.lagda.md b/src/graph-theory/walks-directed-graphs.lagda.md
@@ -460,7 +460,7 @@ module _
         ( vertex-equiv-Directed-Graph G H e y))
       ( is-equiv-map-equiv
         ( equiv-tot
-          ( λ n → equiv-walk-of-length-equiv-Directed-Graph G H e n)))
+          ( equiv-walk-of-length-equiv-Directed-Graph G H e)))
 
   equiv-walk-equiv-Directed-Graph :
     {x y : vertex-Directed-Graph G} →