Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsSquare.isSumSq
Modification history
2025-07-19 04:00
Mathlib/Algebra/Ring/SumsOfSquares.lean
feat(Algebra): add Aesop automation around `Even` / `IsSquare` (#26177) …
Modified
IsSquare.isSumSq
View on Github →
2025-01-16 05:31
Mathlib/Algebra/Ring/SumsOfSquares.lean
feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings (#16094) …
Added
IsSquare.isSumSq
View on Github →