lean_workbook_plus_40666
DisprovedProve that if and , then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_40666 (a : ℝ) (ha : 0 < a) (h : a^5 - a^3 + a = 2) : 3 < a^3 ∧ a^3 < 4 := by sorry
Source
Prove that if and , then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_40666 (a : ℝ) (ha : 0 < a) (h : a^5 - a^3 + a = 2) : 3 < a^3 ∧ a^3 < 4 := by sorry