UniMath#702

fredrik-bakke · Sep 10, 2023 · 8f663b0 · 8f663b0
1 parent dc03685
commit 8f663b0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...thetic-homotopy-theory/universal-property-suspensions-of-pointed-types.lagda.md b/...thetic-homotopy-theory/universal-property-suspensions-of-pointed-types.lagda.md
@@ -230,3 +230,4 @@ module _
 #### The equivalence in the suspension-loop space adjunction is pointed
 
 This remains to be shown.
+[#702](https://github.com/UniMath/agda-unimath/issues/702)