Commit 2023-10-19 20:25 924eae11

View on Github →

chore: protect Int.xor (#7757) This cleans up some local notation needed to work around the clash with the Bool xor in the root namespace.

Estimated changes

modified theorem Int.bitwise_xor
modified theorem Int.bodd_add
modified theorem Int.bodd_subNatNat
modified theorem Int.lxor_bit
modified theorem Int.testBit_lxor
deleted def Int.xor