lean_workbook_plus_64791
ProvedThat can be reinterpreted as
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_64791 : 6^42 ≡ 1 [ZMOD 43] := by sorry
Source
That can be reinterpreted as
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_64791 : 6^42 ≡ 1 [ZMOD 43] := by sorry