lean_workbook_plus_75943
ProvedFind the solutions to
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_75943 (t : ℝ) : 4 * t ^ 2 - 4 * t + 1 = 0 ↔ t = 1 / 2 := by sorry
Source
Find the solutions to
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_75943 (t : ℝ) : 4 * t ^ 2 - 4 * t + 1 = 0 ↔ t = 1 / 2 := by sorry