Theorem Nat.fermatNumber_mono

Modification history

2024-11-27 09:56

Mathlib/NumberTheory/Fermat.lean

chore(NumberTheory/Fermat): fix theorem names (#19469) …

Added Nat.fermatNumber_mono View on Github →