Theorem fermat_one

Modification history

2024-10-11 15:01
Mathlib/NumberTheory/Fermat.lean
chore(NumberTheory/Fermat): rename `fermat` to `Nat.fermatNumber` (#17618) …
Deleted fermat_oneView on Github →
2024-10-10 16:52
Mathlib/NumberTheory/Fermat.lean
Revert "chore(NumberTheory/Fermat): rename `fermat` to `Nat.fermatNumber`" …
Added fermat_oneView on Github →
2024-10-10 16:51
Mathlib/NumberTheory/Fermat.lean
chore(NumberTheory/Fermat): rename `fermat` to `Nat.fermatNumber` …
Deleted fermat_oneView on Github →
2024-10-10 07:55
Mathlib/NumberTheory/Fermat.lean
feat(NumberTheory/Fermat): Fermat numbers (#17000)
Added fermat_oneView on Github →