Theorem xor_not_right

Modification history

2025-07-31 03:42

Mathlib/Logic/Basic.lean

feat: use grind in Nat/Int parity results (#27661)

Modified xor_not_right View on Github →

2022-11-24 02:24

Mathlib/Logic/Basic.lean

chore: updates from mathlib3 (#695) …

Added xor_not_right View on Github →