lean_workbook_plus_38104
ProvedShow that is divisible by .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_38104 : 7 ∣ 1^2015 + 2^2015 + 3^2015 + 4^2015 + 5^2015 + 6^2015 := by sorry
Source
Show that is divisible by .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_38104 : 7 ∣ 1^2015 + 2^2015 + 3^2015 + 4^2015 + 5^2015 + 6^2015 := by sorry