lean_workbook_plus_25665
ProvedGiven that , prove that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_25665 : 2^10 = 1024 → 2^20 = 1024^2 := by sorry
Source
Given that , prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_25665 : 2^10 = 1024 → 2^20 = 1024^2 := by sorry