lean_workbook_plus_45535
Proved, above equation becomes and no positive integer solution
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_45535 : ¬ ∃ v : ℤ, v > 0 ∧ v^3 + 2 * v^2 - 1 = 0 := by sorry
Source
, above equation becomes and no positive integer solution
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_45535 : ¬ ∃ v : ℤ, v > 0 ∧ v^3 + 2 * v^2 - 1 = 0 := by sorry