lean_workbook_plus_43255
ProvedYou have to solve the system
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_43255 (x y : ℝ) : (3*x-4*y+2 = 0 ∧ 2*y+2 = 0) ↔ x = -2 ∧ y = -1 := by sorry
Source
You have to solve the system
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_43255 (x y : ℝ) : (3*x-4*y+2 = 0 ∧ 2*y+2 = 0) ↔ x = -2 ∧ y = -1 := by sorry