lean_workbook_plus_74996
ProvedProve that:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74996 : 5^11 ≡ -1 [ZMOD 23] := by sorry
Source
Prove that:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_74996 : 5^11 ≡ -1 [ZMOD 23] := by sorry