lean_workbook_plus_17438
ProvedProve (or disprove) that for all integers ,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_17438 (m : ℤ) : m^5 - m ≡ 0 [ZMOD 5] := by sorry
Source
Prove (or disprove) that for all integers ,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_17438 (m : ℤ) : m^5 - m ≡ 0 [ZMOD 5] := by sorry