lean_workbook_plus_44188
ProvedIf is odd, show that there are no integer solutions for
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_44188 (x y : ℤ) (h : x^2 + 12 = y^3) : False := by sorry
Source
If is odd, show that there are no integer solutions for
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_44188 (x y : ℤ) (h : x^2 + 12 = y^3) : False := by sorry