Theorem FermatLastTheoremForThreeGen.Solution.a_add_eta_mul_b

Modification history

2024-07-11 10:12
Mathlib/NumberTheory/FLT/Three.lean
feat(Mathlib.NumberTheory.FLT.Three): add various results (#14227) …
Added FermatLastTheoremForThreeGen.Solution.a_add_eta_mul_bView on Github →