lean_workbook_plus_58729
OpenFind the
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_58729 (n : ℕ) : ∑ k in Finset.range (49+1), (-1 : ℤ)^k * (99).choose (2 * k) = (-1 : ℤ)^49 * 2^49 := by sorry
Source
Find the
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_58729 (n : ℕ) : ∑ k in Finset.range (49+1), (-1 : ℤ)^k * (99).choose (2 * k) = (-1 : ℤ)^49 * 2^49 := by sorry