lean_workbook_plus_74504
ProvedFind the slope-intercept form of the equation .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74504 (x y : ℝ) : 5*x+12*y=41 ↔ y = (-5/12)*x + (41/12) := by sorry
Source
Find the slope-intercept form of the equation .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_74504 (x y : ℝ) : 5*x+12*y=41 ↔ y = (-5/12)*x + (41/12) := by sorry