lean_workbook_plus_56494
ProvedProve that is divisible by for all .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_56494 : ∀ n : ℤ, 2 ∣ (n^5 - n) := by sorry
Source
Prove that is divisible by for all .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_56494 : ∀ n : ℤ, 2 ∣ (n^5 - n) := by sorry