Theorem Nat.coprime_fermatNumberNumber_fermatNumber

Modification history

2024-10-10 16:52
Mathlib/NumberTheory/Fermat.lean
Revert "chore(NumberTheory/Fermat): rename `fermat` to `Nat.fermatNumber`" …
Deleted Nat.coprime_fermatNumberNumber_fermatNumberView on Github →
2024-10-10 16:51
Mathlib/NumberTheory/Fermat.lean
chore(NumberTheory/Fermat): rename `fermat` to `Nat.fermatNumber` …
Added Nat.coprime_fermatNumberNumber_fermatNumberView on Github →