lean_workbook_plus_45985
Provedprove that can be divisible by 13.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_45985 : 13 ∣ 2^70 + 3^70 := by sorry
Source
prove that can be divisible by 13.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_45985 : 13 ∣ 2^70 + 3^70 := by sorry