Theorem FermatLastTheoremForThreeGen.Solution.Solution'_descent_multiplicity_lt

Modification history

2024-07-16 09:12
Mathlib/NumberTheory/FLT/Three.lean
feat: prove Fermat's Last Theorem for `n=3` (#14653) …
Added FermatLastTheoremForThreeGen.Solution.Solution'_descent_multiplicity_ltView on Github →