Theorem AddSubmonoid.closure_isSquare

Modification history

2024-08-09 03:04

Mathlib/Algebra/Ring/SumsOfSquares.lean

chore(Algebra/Ring/SumsOfSquares, Algebra/Ring/Semireal): name convension (#15621)

Added AddSubmonoid.closure_isSquare View on Github →