lean_workbook_plus_8752
ProvedUse Fermat's Little Theorem to find .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_8752 : 2 ^ 2000 ≡ 9 [MOD 13] := by sorry
Source
Use Fermat's Little Theorem to find .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_8752 : 2 ^ 2000 ≡ 9 [MOD 13] := by sorry