Theorem Int.coprime_of_sq_sum'

Modification history

2023-05-07 05:02
Mathlib/NumberTheory/Fermat4.lean
chore: bye-bye, solo `by`s! (#3825) …
Modified Int.coprime_of_sq_sum'View on Github →
2023-03-24 11:47
Mathlib/NumberTheory/Fermat4.lean
feat: port NumberTheory.Fermat4 (#3064)
Added Int.coprime_of_sq_sum'View on Github →