From 9f168effd17c19d47dfe36b3de50f9666cf584cb Mon Sep 17 00:00:00 2001 From: Egbert Rijke Date: Mon, 23 Oct 2023 00:13:33 +0200 Subject: [PATCH] fix --- src/graph-theory/walks-directed-graphs.lagda.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/graph-theory/walks-directed-graphs.lagda.md b/src/graph-theory/walks-directed-graphs.lagda.md index 07999f903b..3944b09790 100644 --- 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 - ( equiv-walk-of-length-equiv-Directed-Graph G H e))) + ( λ n → equiv-walk-of-length-equiv-Directed-Graph G H e n))) equiv-walk-equiv-Directed-Graph : {x y : vertex-Directed-Graph G} →