lean_workbook_plus_6324
ProvedFrom , we have on the x-axis .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_6324 (x y : ℝ) (b : ℝ) (h₁ : y = 3 * x + b) (h₂ : x = -b / 3) : y = 0 := by sorry
Source
From , we have on the x-axis .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_6324 (x y : ℝ) (b : ℝ) (h₁ : y = 3 * x + b) (h₂ : x = -b / 3) : y = 0 := by sorry