1 -> -1

martinescardo · Sep 20, 2024 · 9868472 · 9868472
1 parent 3f8f549
commit 9868472
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/UF/Truncations.lagda b/source/UF/Truncations.lagda
@@ -154,7 +154,7 @@ groupoid).
 \end{code}
 
 We demonstrate the equivalence of one-truncation and propositional truncation:
- ∥ X ∥₁ ≃ ∥ X ∥
+ ∥ X ∥[ −1 ] ≃ ∥ X ∥
 
 \begin{code}