Theorem IsSquare.nonneg

Modification history

2025-01-03 07:21
Mathlib/Algebra/Order/Ring/Basic.lean
feat(Algebra/Group/Even): "Advanced" lemmas about even elements. (#20272) …
Added IsSquare.nonnegView on Github →