lean_workbook_plus_38768
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_38768 : 4^500 ≡ 4^250 [ZMOD 12] := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_38768 : 4^500 ≡ 4^250 [ZMOD 12] := by sorry