lean_workbook_plus_55225
Provedprove that (mod 10)
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_55225 : ∀ n : ℕ, n^5 ≡ n [ZMOD 10] := by sorry
Source
prove that (mod 10)
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_55225 : ∀ n : ℕ, n^5 ≡ n [ZMOD 10] := by sorry