Def FermatLastTheoremWith

Modification history

2023-09-12 12:40
Mathlib/NumberTheory/FLT/Basic.lean
feat: statement of Fermat's Last Theorem (#6508)
Added FermatLastTheoremWithView on Github →