Theorem Int.odd_sign_iff

Modification history

2025-07-31 03:42
Mathlib/Algebra/Ring/Int/Parity.lean
feat: use grind in Nat/Int parity results (#27661)
Modified Int.odd_sign_iffView on Github →
2025-06-30 13:28
Mathlib/Algebra/Ring/Int/Parity.lean
feat: miscellaneous parity results (#26496)
Added Int.odd_sign_iffView on Github →