lean_workbook_plus_49287
ProvedShow that the equation has infinite integer solutions for x and y.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_49287 : ∃ x y : ℤ, x^2 - 6*y^2 = 1 := by sorry
Source
Show that the equation has infinite integer solutions for x and y.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_49287 : ∃ x y : ℤ, x^2 - 6*y^2 = 1 := by sorry