lean_workbook_plus_27960
ProvedDetermine if is congruent to modulo .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_27960 : 4 ^ 237 ≡ 4 [ZMOD 12] := by sorry
Source
Determine if is congruent to modulo .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_27960 : 4 ^ 237 ≡ 4 [ZMOD 12] := by sorry