lean_workbook_plus_35472
ProvedProve that has infinitely solutions if are integers.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_35472 : ∃ x y z : ℤ, x^3 + y^3 + z^3 = 2000 := by sorry
Source
Prove that has infinitely solutions if are integers.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_35472 : ∃ x y z : ℤ, x^3 + y^3 + z^3 = 2000 := by sorry