fix: missing word (#279)

leanprover · Feb 3, 2025 · b3c39de · b3c39de
1 parent 309969e
commit b3c39de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Manual.lean b/Manual.lean
@@ -56,7 +56,7 @@ Additionally, we will be adding missing API reference documentation and revising
 
   This release updates the contents for Lean version 4.17.0-rc1.
   It adds descriptions of {ref "well-founded-recursion"}[well-founded recursion], the new {ref "partial-fixpoint"}[partial fixpoint] feature, {ref "quotients"}[quotient types], and {ref "lake"}[Lake], and {ref "structural-recursion"}[the description of structural recursion] has been greatly improved.
-  Descriptions and API references for all fixed-width integer types, {name}`Int`, {name}`Fin`, {name}`Empty`, {name}`Option` were also added.
+  Descriptions and API references for all fixed-width integer types, {name}`Int`, {name}`Fin`, {name}`Empty`, and {name}`Option` were also added.
   This release also includes a quick-jump box that can be used to quickly navigate to any documented topic.
 
 : 2024-12-16