Agoh-Giuga conjecture

Exercise · isCarmichael_561

The formal statement below is all there is.

Formal statement · Lean 4.lean

lemma isCarmichael_561 : IsCarmichael 561 := by
  sorry

Proof. sorry

Nobody has tried yet.