lean_workbook_plus_54051
ProvedFor all integers , prove divides .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_54051 (n:ℕ) : 133 ∣ 11^(n+2) + 12^(2*n+1) := by sorry
Source
For all integers , prove divides .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_54051 (n:ℕ) : 133 ∣ 11^(n+2) + 12^(2*n+1) := by sorry