lean_workbook_plus_31615
Provedfor we consider both side mod 3. ,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_31615 : ∀ n:ℕ, (10^n + 3) % 3 = 1 := by sorry
Source
for we consider both side mod 3. ,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_31615 : ∀ n:ℕ, (10^n + 3) % 3 = 1 := by sorry