lean_workbook_plus_27480
ProvedProve that for any integer the number is divisible by .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_27480 : ∀ n : ℤ, 6 ∣ 2*n^3+3*n^2+7*n := by sorry
Source
Prove that for any integer the number is divisible by .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_27480 : ∀ n : ℤ, 6 ∣ 2*n^3+3*n^2+7*n := by sorry