lean_workbook_plus_26809
ProvedProve that divides .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_26809 : ∀ n : ℤ, 4 ∣ 2 * n * (n + 1) := by sorry
Source
Prove that divides .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_26809 : ∀ n : ℤ, 4 ∣ 2 * n * (n + 1) := by sorry