Punctuation

UniMath · Oct 9, 2023 · ee22409 · ee22409
1 parent 9652db7
commit ee22409
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/foundation/commuting-squares-of-maps.lagda.md b/src/foundation/commuting-squares-of-maps.lagda.md
@@ -404,7 +404,7 @@ W^C -----> W^A -----> W^X
 ```
 
 This fact can be written as distribution of right whiskering over transposition:
-`W^(H ·r f) = W^f ·l W^H`
+`W^(H ·r f) = W^f ·l W^H`.
 
 ```agda
 module _