Theorem Nat.pairwise_coprime_fermatNumber

Modification history

2024-11-27 09:56
Mathlib/NumberTheory/Fermat.lean
chore(NumberTheory/Fermat): fix theorem names (#19469) …
Added Nat.pairwise_coprime_fermatNumberView on Github →