lean_workbook_plus_60732
DisprovedDetermine if is congruent to modulo .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_60732 : (1^4 + 2^4 + 3^4 + 4^4 + 5^4) % 6 = 3 := by sorry
Source
Determine if is congruent to modulo .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_60732 : (1^4 + 2^4 + 3^4 + 4^4 + 5^4) % 6 = 3 := by sorry