lean_workbook_plus_75925
ProvedFind the values of x that satisfy the equation:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_75925 (x : ℝ) : (x-1)*(5*x-4) = 0 ↔ x = 1 ∨ x = 4/5 := by sorry
Source
Find the values of x that satisfy the equation:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_75925 (x : ℝ) : (x-1)*(5*x-4) = 0 ↔ x = 1 ∨ x = 4/5 := by sorry