lean_workbook_plus_19716
ProvedSolving for in .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_19716 (x y : ℂ) : (8*x^2+16*x*y+6*y^2-2*x+y-1=0) ↔ (x = -3/2*y+1/2 ∨ x = -1/2*y-1/4) := by sorry
Source
Solving for in .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_19716 (x y : ℂ) : (8*x^2+16*x*y+6*y^2-2*x+y-1=0) ↔ (x = -3/2*y+1/2 ∨ x = -1/2*y-1/4) := by sorry