lean_workbook_plus_38283
ProvedProve for all integers that divides .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_38283 : ∀ n : ℕ, n ≥ 0 → 133 ∣ 11 ^ (n + 2) + 12 ^ (2 * n + 1) := by sorry
Source
Prove for all integers that divides .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_38283 : ∀ n : ℕ, n ≥ 0 → 133 ∣ 11 ^ (n + 2) + 12 ^ (2 * n + 1) := by sorry