Theorem Nat.fermatNumber_one

Modification history

2024-10-11 15:01

Mathlib/NumberTheory/Fermat.lean

chore(NumberTheory/Fermat): rename `fermat` to `Nat.fermatNumber` (#17618) …

Added Nat.fermatNumber_one View on Github →

2024-10-10 16:52

Mathlib/NumberTheory/Fermat.lean

Revert "chore(NumberTheory/Fermat): rename `fermat` to `Nat.fermatNumber`" …

Deleted Nat.fermatNumber_one View on Github →

2024-10-10 16:51

Mathlib/NumberTheory/Fermat.lean

chore(NumberTheory/Fermat): rename `fermat` to `Nat.fermatNumber` …

Added Nat.fermatNumber_one View on Github →