Theorem Nat.fermatNumber_strictMono

Modification history

2024-11-27 09:56

Mathlib/NumberTheory/Fermat.lean

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

Added Nat.fermatNumber_strictMono View on Github →