lean_workbook_plus_7714
ProvedLine is same as
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_7714 (x y : ℝ) : x + 2*y = 5 ↔ y = -0.5*x + 2.5 := by sorry
Source
Line is same as
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_7714 (x y : ℝ) : x + 2*y = 5 ↔ y = -0.5*x + 2.5 := by sorry