Theorem Int.even_sign_iff

Modification history

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