Theorem IsSumSq.sum_sq

Modification history

2025-07-19 04:00
Mathlib/Algebra/Ring/SumsOfSquares.lean
feat(Algebra): add Aesop automation around `Even` / `IsSquare` (#26177) …
Added IsSumSq.sum_sqView on Github →