lean_workbook_plus_13339
Proved=2^{2018}+2^{2018}(2^{2019}-1)=2^{4037}$
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_13339 : 2^(2018) + (2^(2018) * (2^(2019) - 1)) = 2^(4037) := by sorry
Source
=2^{2018}+2^{2018}(2^{2019}-1)=2^{4037}$
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_13339 : 2^(2018) + (2^(2018) * (2^(2019) - 1)) = 2^(4037) := by sorry