Theorem FermatLastTheoremForThreeGen.Solution.lambda_pow_dvd_a_add_b

Modification history

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