lean_workbook_plus_74512
ProvedDetermine the units digit of .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74512 : 3 ^ 2001 * 7 ^ 2002 * 13 ^ 2003 ≡ 9 [ZMOD 10] := by sorry
Source
Determine the units digit of .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_74512 : 3 ^ 2001 * 7 ^ 2002 * 13 ^ 2003 ≡ 9 [ZMOD 10] := by sorry