Theorem Int.even_xor_odd

Modification history

2026-04-27 20:25
Mathlib/Algebra/Ring/Int/Parity.lean
chore: Rename Xor' to Xor (#37628) …
Added Int.even_xor_oddView on Github →