lean_workbook_plus_17097
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_17097 : (4^250 ≡ 4^125 [ZMOD 12]) := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_17097 : (4^250 ≡ 4^125 [ZMOD 12]) := by sorry