lean_workbook_plus_14608
ProvedProve that there are an infinite number of solutions to where
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_14608 : ∀ n : ℕ, ∃ a b c : ℕ, a^2 + b^2 = c^2 := by sorry
Source
Prove that there are an infinite number of solutions to where
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_14608 : ∀ n : ℕ, ∃ a b c : ℕ, a^2 + b^2 = c^2 := by sorry