Theorem Nat.prod_fermatNumber

Modification history

2024-11-27 09:56

Mathlib/NumberTheory/Fermat.lean

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

Added Nat.prod_fermatNumber View on Github →