lean_workbook_plus_35488
ProvedSolve the quadratic equation for .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_35488 (a : ℝ) (h : a^2 - 34*a + 240 = 0) : a = 10 ∨ a = 24 := by sorry
Source
Solve the quadratic equation for .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_35488 (a : ℝ) (h : a^2 - 34*a + 240 = 0) : a = 10 ∨ a = 24 := by sorry