lean_workbook_plus_45845
ProvedLet . Find .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_45845 (x : ℝ) (hx : x = 7) : (x - 1) / x * (x - 2) / (x - 1) * (x - 3) / (x - 2) = 4 / 7 := by sorry
Source
Let . Find .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_45845 (x : ℝ) (hx : x = 7) : (x - 1) / x * (x - 2) / (x - 1) * (x - 3) / (x - 2) = 4 / 7 := by sorry