Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsSumSq.nonneg
Modification history
2024-08-09 03:04
Mathlib/Algebra/Ring/SumsOfSquares.lean
chore(Algebra/Ring/SumsOfSquares, Algebra/Ring/Semireal): name convension (#15621)
Added
IsSumSq.nonneg
View on Github →