[pre-commit.ci lite] apply automatic fixes

pre-commit-ci-lite[bot] · web-flow · commit a3db6bfd8f95 · 2026-04-29T14:01:02.000Z
diff --git a/Mathlib/Combinatorics/Enumerative/Pentagonal.lean b/Mathlib/Combinatorics/Enumerative/Pentagonal.lean
@@ -23,7 +23,7 @@ convention, but implicitly shows the monotonicity in `pentagonal_lt_pentagonal_n
 
 ## TODO
 
-Show the relation between pentagonal numbers and partitions, including the pentagonal number 
+Show the relation between pentagonal numbers and partitions, including the pentagonal number
 theorem.
 
 ## References
