A Carmichael number is a composite number n such that for all b ≥ 1,
we have b^n ≡ b (mod n).
Equations
- IsCarmichael n = ∀ b ≥ 1, n.Coprime b → n.FermatPsp b
A Carmichael number is a composite number n such that for all b ≥ 1,
we have b^n ≡ b (mod n).