lean_workbook_plus_42310
ProvedA8. If , find .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_42310 (x : ℝ) (hx : x + 2/x = 4) : x^3/2 + 4/x^3 = 20 := by sorry
Source
A8. If , find .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_42310 (x : ℝ) (hx : x + 2/x = 4) : x^3/2 + 4/x^3 = 20 := by sorry