lean_workbook_plus_47675
ProvedCalculate using from Euler's Totient Theorem.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_47675 (a : ℕ) : a = 7 ^ 10 → a ≡ 1 [ZMOD 11] := by sorry
Source
Calculate using from Euler's Totient Theorem.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_47675 (a : ℕ) : a = 7 ^ 10 → a ≡ 1 [ZMOD 11] := by sorry