lean_workbook_plus_9405
ProvedSolve the Pell equation .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_9405 : ∃ u v : ℤ, u^2 - 5 * v^2 = 4 := by sorry
Source
Solve the Pell equation .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_9405 : ∃ u v : ℤ, u^2 - 5 * v^2 = 4 := by sorry