Update Mathlib/Combinatorics/Enumerative/Pentagonal.lean

wwylele · bryangingechen · web-flow · commit f56677ccc378 · 2026-04-29T09:29:03.000-04:00
Co-authored-by: Bryan Gin-ge Chen &lt;bryangingechen@gmail.com&gt;
diff --git a/Mathlib/Combinatorics/Enumerative/Pentagonal.lean b/Mathlib/Combinatorics/Enumerative/Pentagonal.lean
@@ -8,7 +8,7 @@ module
 public import Mathlib.Data.Int.SuccPred
 
 /-!
-# Pentagonal number
+# Pentagonal numbers
 
 This file introduces (generalized) pentagonal numbers $k(3k-1)/2$ for integer $k$.
 
