pre-commit

UniMath · Oct 9, 2023 · 3e994eb · 3e994eb
1 parent 2c5e190
commit 3e994eb
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/foundation/commuting-squares-of-maps.lagda.md b/src/foundation/commuting-squares-of-maps.lagda.md
@@ -396,7 +396,6 @@ X -----> A -----> B
 and transposing it by precomposition results in the square
 
 ```text
-
 W^D -----> W^B
  |          |
  |   W^H    |

diff --git a/src/synthetic-homotopy-theory/universal-property-pushouts.lagda.md b/src/synthetic-homotopy-theory/universal-property-pushouts.lagda.md
@@ -755,7 +755,7 @@ module _
     universal-property-pushout-pullback-property-pushout l f g
       ( h , k , bottom)
       ( λ W →
-       is-pullback-top-is-pullback-bottom-cube-is-equiv
+        is-pullback-top-is-pullback-bottom-cube-is-equiv
           ( precomp h' W)
           ( precomp k' W)
           ( precomp f' W)
-Original file line number
+Diff line change
@@ Expand Up / @@ -396,7 +396,6 @@ X -----> A -----> B @@
     and transposing it by precomposition results in the square
     ```text
     W^D -----> W^B
      |          |
      |   W^H    |
@@ Expand Down @@