Theorem FermatLastTheoremForThreeGen.lambda_sq_dvd_or_dvd_or_dvd

Modification history

2024-06-28 11:29
Mathlib/NumberTheory/FLT/Three.lean
feat(Mathlib.NumberTheory.FLT.Three): add various results (#14119) …
Added FermatLastTheoremForThreeGen.lambda_sq_dvd_or_dvd_or_dvdView on Github →