lean_workbook_plus_59212
ProvedGiven that , prove that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_59212 (α : ℝ) (h : α > 1.41313) : α ^ 12 > 61 := by sorry
Source
Given that , prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_59212 (α : ℝ) (h : α > 1.41313) : α ^ 12 > 61 := by sorry