lean_workbook_plus_17035
ProvedSolve the system of equations: Find .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_17035 (x y : ℝ) (h₁ : x - 9*y = 0) (h₂ : 9*x - y = 0) : x + y = 0 := by sorry
Source
Solve the system of equations: Find .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_17035 (x y : ℝ) (h₁ : x - 9*y = 0) (h₂ : 9*x - y = 0) : x + y = 0 := by sorry