Theorem Nat.strictMono_fermatNumber

Modification history

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