lean_workbook_plus_62755
ProvedSolve for in the equation .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_62755 (a : ℝ) (h : a^2 - 4*a + 3 = 0) : a = 1 ∨ a = 3 := by sorry
Source
Solve for in the equation .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_62755 (a : ℝ) (h : a^2 - 4*a + 3 = 0) : a = 1 ∨ a = 3 := by sorry