Commit 2023-10-12 09:02 423fc25e

refactor(NumberTheory/FLT): Define Fermat's Last Theorem for fixed exponent (#7494) This PR adds a definition of Fermat's Last Theorem for fixed exponent. The motivation for this is that FermatLastTheoremWith ℕ n, FermatLastTheoremWith ℤ n, and FermatLastTheoremWith ℚ n are all equivalent, so it would be nice to have a canonical name, rather than sometimes referring to one and sometimes referring to another.