Theorem Int.isSquare_sign_iff

Modification history

2025-06-30 13:28
Mathlib/Algebra/Group/Int/Even.lean
feat: miscellaneous parity results (#26496)
Added Int.isSquare_sign_iffView on Github →