lean_workbook_plus_43327
ProvedProve that in we have
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_43327 (n : ℕ) : 7 ^ (4 * n + 1) ≡ 7 [ZMOD 10] := by sorry
Source
Prove that in we have
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_43327 (n : ℕ) : 7 ^ (4 * n + 1) ≡ 7 [ZMOD 10] := by sorry