Theorem Nat.fermatNumber_injective

Modification history

2024-11-27 09:56

Mathlib/NumberTheory/Fermat.lean

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

Added Nat.fermatNumber_injective View on Github →