lean_workbook_plus_79191
ProvedProve that is divisible by for .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_79191 (n : ℕ) : 3 ∣ 10^(n+1) + 10^n + 1 := by sorry
Source
Prove that is divisible by for .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_79191 (n : ℕ) : 3 ∣ 10^(n+1) + 10^n + 1 := by sorry