lean_workbook_plus_33763
ProvedProve that using Fermat's Little Theorem.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_33763 : 2 ^ 268 ≡ 1 [ZMOD 269] := by sorry
Source
Prove that using Fermat's Little Theorem.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_33763 : 2 ^ 268 ≡ 1 [ZMOD 269] := by sorry