lean_workbook_plus_74851
ProvedThe sum of the roots is and the product of the roots is
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74851 : ∃ r s : ℂ, r + s = 0 ∧ r * s = -9 := by sorry
Source
The sum of the roots is and the product of the roots is
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_74851 : ∃ r s : ℂ, r + s = 0 ∧ r * s = -9 := by sorry