lean_workbook_plus_48319
ProvedRewrite in slope-intercept form .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_48319 (x y : ℝ) : 2*x+3*y-10=0 ↔ y = -2/3*x + 10/3 := by sorry
Source
Rewrite in slope-intercept form .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_48319 (x y : ℝ) : 2*x+3*y-10=0 ↔ y = -2/3*x + 10/3 := by sorry