Theorem IsSumSq.sum_mul_self

Modification history

2025-01-07 17:42
Mathlib/Algebra/Ring/SumsOfSquares.lean
chore(Algebra/Ring): Clean up in SumsOfSquares and Semireal/Defs (#20528) …
Modified IsSumSq.sum_mul_selfView on Github →
2024-12-28 03:20
Mathlib/Algebra/Ring/SumsOfSquares.lean
chore(Algebra): rename theorems for consistency (#20271) …
Added IsSumSq.sum_mul_selfView on Github →