lean_workbook_plus_41583
Open$ \sum_{x = 1}^{3} 2x = 12$
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_41583 : ∑ x in Finset.Icc 1 3, 2 * x = 12 := by sorry
Source
$ \sum_{x = 1}^{3} 2x = 12$
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_41583 : ∑ x in Finset.Icc 1 3, 2 * x = 12 := by sorry