Def FermatLastTheoremForThreeGen

Modification history

2024-05-15 19:02
Mathlib/NumberTheory/FLT/Three.lean
feat(Mathlib.NumberTheory.FLT.Three): add `FermatLastTheoremForThree_of_FermatLastTheoremThreeGen` (#12767) …
Added FermatLastTheoremForThreeGenView on Github →