Theorem Int.coprime_of_sq_sum

Modification history

2025-01-23 12:20
Mathlib/NumberTheory/FLT/Four.lean
chore: fix some declarations using `coprime` (#20982) …
Deleted Int.coprime_of_sq_sumView on Github →
2023-03-24 11:47
Mathlib/NumberTheory/Fermat4.lean
feat: port NumberTheory.Fermat4 (#3064)
Added Int.coprime_of_sq_sumView on Github →