lean_workbook_plus_58447
ProvedSolve the quadratic equation
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_58447 (t : ℝ) : t^2 + 308 * t + 23700 = 0 ↔ t = -150 ∨ t = -158 := by sorry
Source
Solve the quadratic equation
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_58447 (t : ℝ) : t^2 + 308 * t + 23700 = 0 ↔ t = -150 ∨ t = -158 := by sorry