Theorem fermatLastTheoremThree_of_three_dvd_only_c

Modification history

2024-04-16 22:37
Mathlib/NumberTheory/FLT/Three.lean
Feat: add fermatLastTheoremThree_of_three_dvd_only_c (#11767) …
Added fermatLastTheoremThree_of_three_dvd_only_cView on Github →