doc: convert first letter of word to lowercase

chabulhwi · Sep 28, 2024 · cb1acf4 · cb1acf4
1 parent b468050
commit cb1acf4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/en/quiz/chapter02.md b/docs/en/quiz/chapter02.md
@@ -275,7 +275,7 @@ product type?
 
 ## Question 30
 
-Given `α : Type` and `β : α → Type`, is the type `Σ (a : α), β a` a Sigma type?
+Given `α : Type` and `β : α → Type`, is the type `Σ (a : α), β a` a sigma type?
 
 ## Question 31