lean_workbook_plus_71470
ProvedProve that is divisible by 11.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_71470 : 2 ^ 55 + 1 ≡ 0 [ZMOD 11] := by sorry
Source
Prove that is divisible by 11.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_71470 : 2 ^ 55 + 1 ≡ 0 [ZMOD 11] := by sorry