Def AddSubmonoid.sumSq

Modification history

2026-02-09 08:58
Mathlib/Algebra/Ring/SumsOfSquares.lean
chore(style): remove duplicate instance hypotheses (#35002) …
Modified AddSubmonoid.sumSqView on Github →
2025-01-07 17:42
Mathlib/Algebra/Ring/SumsOfSquares.lean
chore(Algebra/Ring): Clean up in SumsOfSquares and Semireal/Defs (#20528) …
Added AddSubmonoid.sumSqView on Github →