Merge pull request #409 from hmonroe/patch-2

Update doc.md Fix broken link, ContDiff.lean does not exist
leanprover-community · Dec 16, 2023 · 5d0c744 · 5d0c744
2 parents 695b0a2 + af0ce85
commit 5d0c744
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/templates/contribute/doc.md b/templates/contribute/doc.md
@@ -263,4 +263,4 @@ The following files are maintained as examples of good documentation style:
 
 * [Mathlib.NumberTheory.Padics.PadicNorm](https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/NumberTheory/Padics/PadicNorm.lean)
 * [Mathlib.Topology.Basic](https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/Topology/Basic.lean)
-* [Analysis.Calculus.ContDiff](https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/Analysis/Calculus/ContDiff.lean)
+* [Analysis.Calculus.ContDiff.Basic](https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/Analysis/Calculus/ContDiff/Basic.lean)