Commit 2025-11-04 01:10 cda9a04e

View on Github →

chore: adaptations for batteries#1441 (#30138)

Estimated changes

modified theorem Nat.xor_cancel_left
modified theorem Nat.xor_cancel_right
modified theorem Nat.xor_eq_zero
deleted theorem Nat.xor_left_inj
deleted theorem Nat.xor_left_injective
modified theorem Nat.xor_ne_zero
deleted theorem Nat.xor_right_inj
deleted theorem Nat.xor_right_injective