lean_workbook_plus_48501
Disprovedprove that: , where is an odd positive integer.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_48501 : ∀ n : ℕ, n % 2 = 1 → n ^ 4 % 10 = 1 := by sorry
Source
prove that: , where is an odd positive integer.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_48501 : ∀ n : ℕ, n % 2 = 1 → n ^ 4 % 10 = 1 := by sorry