lean_workbook_plus_15175
ProvedFind the values of from the equation
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_15175 (b : ℝ) (h : (b - 1) ^ 2 * (2 * b + 7) = 0) : b = 1 ∨ b = -7 / 2 := by sorry
Source
Find the values of from the equation
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_15175 (b : ℝ) (h : (b - 1) ^ 2 * (2 * b + 7) = 0) : b = 1 ∨ b = -7 / 2 := by sorry