Theorem Nat.fermatNumber_ne_one

Modification history

2025-09-24 05:32
Mathlib/NumberTheory/Fermat.lean
chore: replace omega with cutsat where possible (#29461) …
Modified Nat.fermatNumber_ne_oneView on Github →
2024-11-27 09:56
Mathlib/NumberTheory/Fermat.lean
chore(NumberTheory/Fermat): fix theorem names (#19469) …
Added Nat.fermatNumber_ne_oneView on Github →