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