doc: clarify text

chabulhwi · Sep 28, 2024 · 4d81de6 · 4d81de6
1 parent 260022f
commit 4d81de6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/en/quiz/chapter02.md b/docs/en/quiz/chapter02.md
@@ -184,7 +184,7 @@ def foo := let a := Nat; fun x : a => x + 2
 
 ## Question 22
 
-Use the `#print` command to check the definitions of the following functions:
+Use the `#print` command to check each definition of the following functions:
 
 ```lean
 namespace Question22