lean_workbook_plus_2166
ProvedConvert the equation to slope-intercept form.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_2166 (x y : ℝ) : 4*x = -3*y + 8 ↔ y = -4/3*x + 8/3 := by sorry
Source
Convert the equation to slope-intercept form.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_2166 (x y : ℝ) : 4*x = -3*y + 8 ↔ y = -4/3*x + 8/3 := by sorry