lean_workbook_plus_40631
ProvedFind the values for when equals zero.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_40631 (x : ℝ) : 5 * x ^ 4 - 5 * x ^ 2 + 120 * x = 0 ↔ x = 0 ∨ x = -3 := by sorry
Source
Find the values for when equals zero.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_40631 (x : ℝ) : 5 * x ^ 4 - 5 * x ^ 2 + 120 * x = 0 ↔ x = 0 ∨ x = -3 := by sorry