make pre-commit

UniMath · Oct 17, 2023 · 53e8b15 · 53e8b15
1 parent 7800683
commit 53e8b15
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/src/category-theory/natural-isomorphisms-functors-large-precategories.lagda.md b/src/category-theory/natural-isomorphisms-functors-large-precategories.lagda.md
@@ -66,7 +66,7 @@ module _
           ( hom-iso-Large-Precategory D
             ( iso-natural-isomorphism-Large-Precategory Y))
           ( hom-functor-Large-Precategory G f)
-          
+
   open natural-isomorphism-Large-Precategory public
 
   natural-transformation-natural-isomorphism-Large-Precategory :

diff --git a/src/category-theory/natural-transformations-functors-large-precategories.lagda.md b/src/category-theory/natural-transformations-functors-large-precategories.lagda.md
@@ -59,7 +59,7 @@ module _
       ( τ X)
       ( τ Y)
       ( hom-functor-Large-Precategory G f)
-      
+
   record natural-transformation-Large-Precategory : UUω
     where
     constructor make-natural-transformation
@@ -102,7 +102,6 @@ module _
     ( inv
       ( left-unit-law-comp-hom-Large-Precategory D
         ( hom-functor-Large-Precategory F f)))
-
 
   id-natural-transformation-Large-Precategory :
     natural-transformation-Large-Precategory C D F F