Update src/set-theory/countable-sets.lagda.md

Co-authored-by: Egbert Rijke <[email protected]>
UniMath · Oct 9, 2023 · 2ec50ea · 2ec50ea
1 parent 15458ff
commit 2ec50ea
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/set-theory/countable-sets.lagda.md b/src/set-theory/countable-sets.lagda.md
@@ -178,7 +178,8 @@ module _
 
   decidable-subprojection-ℕ-enumeration :
     enumeration X → decidable-subprojection-ℕ X
-  pr1 (pr1 (decidable-subprojection-ℕ-enumeration (f , H)) n) = f n ≠ inr star
+  pr1 (pr1 (decidable-subprojection-ℕ-enumeration (f , H)) n) =
+    f n ≠ inr star
   pr1 (pr2 (pr1 (decidable-subprojection-ℕ-enumeration (f , H)) n)) =
     is-prop-neg
   pr2 (pr2 (pr1 (decidable-subprojection-ℕ-enumeration (f , H)) n)) =