[pre-commit.ci lite] apply automatic fixes

pre-commit-ci-lite[bot] · web-flow · commit bdef99ea1531 · 2025-11-01T16:20:53.000Z
diff --git a/Mathlib/Combinatorics/Enumerative/PentagonalNumbers.lean b/Mathlib/Combinatorics/Enumerative/PentagonalNumbers.lean
@@ -264,5 +264,3 @@ lemma coeff_E_eq_coeff_cutoff (n : ℕ) :
       (PowerSeries.coeff n)
         (∏ k ∈ Finset.range (n + 1), (1 - (PowerSeries.X : PowerSeries ℤ) ^ (k + 1))) := by
   simp [E]
-
- 
