lean_workbook_plus_7254
ProvedProve that for .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_7254 (a : ℝ) (h : a > 0) : a^3 + 11 > 9*a := by sorry
Source
Prove that for .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_7254 (a : ℝ) (h : a > 0) : a^3 + 11 > 9*a := by sorry