lean_workbook_plus_70678
Provedand we get the equation
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_70678 (y : ℝ) : y * (6 * y + 5) = 0 ↔ y = 0 ∨ y = -5/6 := by sorry
Source
and we get the equation
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_70678 (y : ℝ) : y * (6 * y + 5) = 0 ↔ y = 0 ∨ y = -5/6 := by sorry