lean_workbook_plus_43261
ProvedProve for all integers that divides .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_43261 (n : ℕ) (hn : 1 ≤ n) : 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_43261 (n : ℕ) (hn : 1 ≤ n) : 133 ∣ 11 ^ (n + 2) + 12 ^ (2 * n + 1) := by sorry