fix docs/overview.yaml

leanprover-community · Feb 10, 2024 · 97524f6 · 97524f6
1 parent b35ad39
commit 97524f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/overview.yaml b/docs/overview.yaml
@@ -130,7 +130,7 @@ General algebra:
     quadratic reciprocity: 'legendreSym.quadratic_reciprocity'
     "solutions to Pell's equation": 'Pell.pell'
     "Matiyasevič's theorem": 'Pell.matiyasevic'
-    arithmetic functions: 'Nat.ArithmeticFunction'
+    arithmetic functions: 'ArithmeticFunction'
     Bernoulli numbers: 'bernoulli'
     Chevalley-Warning theorem: 'char_dvd_card_solutions'
     "Hensel's lemma (for $\\mathbb{Z}_p$)": 'hensels_lemma'