Theorem Nat.coprime_fermatNumber_fermatNumber

Modification history

2024-11-27 09:56
Mathlib/NumberTheory/Fermat.lean
chore(NumberTheory/Fermat): fix theorem names (#19469) …
Modified Nat.coprime_fermatNumber_fermatNumberView on Github →
2024-10-11 15:01
Mathlib/NumberTheory/Fermat.lean
chore(NumberTheory/Fermat): rename `fermat` to `Nat.fermatNumber` (#17618) …
Added Nat.coprime_fermatNumber_fermatNumberView on Github →