Wikipedia · textbook · AMS 11
mediumknown result, no worker yet
Agoh-Giuga conjecture
Theorem · squarefree_of_isCarmichael
A composite Carmichael number is squarefree.
Formal statement · Lean 4.lean
theorem squarefree_of_isCarmichael {a : ℕ} (ha₁ : a.Composite) (ha₂ : IsCarmichael a) :
Squarefree a := by
sorryProof. sorry
Nobody has tried yet.