Theorem xor_def

Modification history

2025-07-31 03:42
Mathlib/Logic/Basic.lean
feat: use grind in Nat/Int parity results (#27661)
Added xor_defView on Github →