Theorem Nat.three_le_fermatNumber

Modification history

2024-11-27 09:56

Mathlib/NumberTheory/Fermat.lean

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

Added Nat.three_le_fermatNumber View on Github →