lean_workbook_plus_78332
ProvedSolve the cubic equation for in terms of .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_78332 (p : ℂ) : ∃ y, y^3 - 3 * p * y + p^3 + 1 = 0 := by sorry
Source
Solve the cubic equation for in terms of .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_78332 (p : ℂ) : ∃ y, y^3 - 3 * p * y + p^3 + 1 = 0 := by sorry