capitalization

leanprover-community · Jan 14, 2025 · 3fb5184 · 3fb5184
1 parent 455040c
commit 3fb5184
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Data/Fintype/List.lean b/Mathlib/Data/Fintype/List.lean
@@ -11,7 +11,7 @@ import Mathlib.Data.List.Permutation
 
 # Fintype instance for nodup lists
 
-The subtype of `{l : List α // l.nodup}` over a `[Fintype α]`
+The subtype of `{l : List α // l.Nodup}` over a `[Fintype α]`
 admits a `Fintype` instance.
 
 ## Implementation details