auto gitdoc commit

2024-04-22 03:00:13 +00:00 · 2024-04-22 03:00:13 +00:00 · b1c849c538
commit b1c849c538
parent fc151b6421
1 changed files with 1 additions and 1 deletions
--- a/src/HottBook/Chapter3.lagda.md
+++ b/src/HottBook/Chapter3.lagda.md
@ -18,7 +18,7 @@ isSet A = (x y : A) → (p q : x ≡ y) → p ≡ q

 ```
 𝟙-is-Set : isSet 𝟙
-𝟙-is-Set tt tt p q = {!    !}
+𝟙-is-Set tt tt p q = J (λ x y p' → p' ≡ q) (λ x → {!   !}) tt tt p
 ```

 ### Example 3.1.3