Mathlib Changelog
v4
Changelog
About
Github
Theorem
FermatLastTheoremForThreeGen.lambda_pow_four_dvd_c_cube
Modification history
2024-06-28 11:29
Mathlib/NumberTheory/FLT/Three.lean
feat(Mathlib.NumberTheory.FLT.Three): add various results (#14119) …
Added
FermatLastTheoremForThreeGen.lambda_pow_four_dvd_c_cube
View on Github →