lean_workbook_plus_44086
ProvedThe last digit of the number is:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_44086 : 2 ^ 2009 ≡ 2 [MOD 10] := by sorry
Source
The last digit of the number is:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_44086 : 2 ^ 2009 ≡ 2 [MOD 10] := by sorry