lean_workbook_plus_47862
ProvedProve that mod .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_47862 : ∀ n : ℤ, n^7 ≡ n [ZMOD 2] := by sorry
Source
Prove that mod .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_47862 : ∀ n : ℤ, n^7 ≡ n [ZMOD 2] := by sorry