lean_workbook_plus_22241
ProvedProve that for any rational number
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_22241 (n : ℚ) : n^2 = (n-1)*(n+1)+1 := by sorry
Source
Prove that for any rational number
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_22241 (n : ℚ) : n^2 = (n-1)*(n+1)+1 := by sorry