lean_workbook_plus_31262
ProvedShow that is a factor of .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_31262 : 13 ∣ 2^30 + 3^60 := by sorry
Source
Show that is a factor of .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_31262 : 13 ∣ 2^30 + 3^60 := by sorry