Theorem isCoprime_of_gcd_eq_one_of_FLT

Modification history

2024-07-11 10:12
Mathlib/NumberTheory/FLT/Basic.lean
chore: add missing spaces around : (#13658) …
Modified isCoprime_of_gcd_eq_one_of_FLTView on Github →
2024-04-16 22:37
Mathlib/NumberTheory/FLT/Basic.lean
Feat: add fermatLastTheoremThree_of_three_dvd_only_c (#11767) …
Added isCoprime_of_gcd_eq_one_of_FLTView on Github →