Theorem FermatLastTheoremForThreeGen.Solution.eta_add_one_mul_neg_eta_eq_one

Modification history

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