lean_workbook_plus_81115
ProvedProve that using Fermat's Little Theorem.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_81115 : 7 ^ 10 ≡ 1 [ZMOD 11] := by sorry
Source
Prove that using Fermat's Little Theorem.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_81115 : 7 ^ 10 ≡ 1 [ZMOD 11] := by sorry