lean_workbook_plus_65615
ProvedSetting , \n\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_65615 (x : ℝ) (hx: x ≠ 0) (t : ℝ) (ht : t = x - 12/x) : t^2 + 24 = 10*t ↔ t = 4 ∨ t = 6 := by sorry
Source
Setting , \n\n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_65615 (x : ℝ) (hx: x ≠ 0) (t : ℝ) (ht : t = x - 12/x) : t^2 + 24 = 10*t ↔ t = 4 ∨ t = 6 := by sorry