lean_workbook_plus_64395
ProvedFind the roots of the equation:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_64395 (x : ℝ) : (x-20)*(x+15) = 0 ↔ x = 20 ∨ x = -15 := by sorry
Source
Find the roots of the equation:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_64395 (x : ℝ) : (x-20)*(x+15) = 0 ↔ x = 20 ∨ x = -15 := by sorry