Theorem fermatLastTheoremThree_of_dvd_a_of_gcd_eq_one_of_case2

Modification history

2026-03-23 07:23
Mathlib/NumberTheory/FLT/Three.lean
chore(FLT/Three): remove `backward.privateInPublic` (#36982) …
Added fermatLastTheoremThree_of_dvd_a_of_gcd_eq_one_of_case2View on Github →