lean_workbook_plus_5601
ProvedCharacteristic equation , so
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_5601 (t : ℝ) : t^2 - 7*t + 10 = 0 ↔ t = 2 ∨ t = 5 := by sorry
Source
Characteristic equation , so
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_5601 (t : ℝ) : t^2 - 7*t + 10 = 0 ↔ t = 2 ∨ t = 5 := by sorry