lean_workbook_plus_69093
Provedfor .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_69093 (n : ℕ) (h : n > 1) : 10^n ≡ 0 [ZMOD 4] := by sorry
Source
for .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_69093 (n : ℕ) (h : n > 1) : 10^n ≡ 0 [ZMOD 4] := by sorry