lean_workbook_plus_39666
ProvedProve for any integer .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_39666 : ∀ n : ℤ, n ^ 7 - n ≡ 0 [ZMOD 2] := by sorry
Source
Prove for any integer .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_39666 : ∀ n : ℤ, n ^ 7 - n ≡ 0 [ZMOD 2] := by sorry