Mathlib Changelog
v4
Changelog
About
Github
Theorem
Int.coprime_of_sq_sum
Modification history
2023-03-24 11:47
Mathlib/NumberTheory/Fermat4.lean
feat: port NumberTheory.Fermat4 (#3064)
Added
Int.coprime_of_sq_sum
View on Github →