lean_workbook_plus_6409
ProvedProve that is divisible by ,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_6409 : ∀ n : ℕ, 6 ∣ n * (n^2 + 5) := by sorry
Source
Prove that is divisible by ,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_6409 : ∀ n : ℕ, 6 ∣ n * (n^2 + 5) := by sorry