lean_workbook_plus_44017
ProvedFind the last three digits of the number .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_44017 : 2003 ^ ((2002 ^ 2001) % 10000) ≡ 241 [MOD 1000] := by sorry
Source
Find the last three digits of the number .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_44017 : 2003 ^ ((2002 ^ 2001) % 10000) ≡ 241 [MOD 1000] := by sorry