Theorem Int.even_sign_iff

Modification history

2025-12-17 19:48
Mathlib/Algebra/Ring/Int/Parity.lean
chore: golf using `grind` and `simp` (#32968)
Modified Int.even_sign_iffView on Github →
2025-06-30 13:28
Mathlib/Algebra/Ring/Int/Parity.lean
feat: miscellaneous parity results (#26496)
Added Int.even_sign_iffView on Github →