Theorem: xor_comm_4p4 (Test/BitVec/XorComm.lean)

State before:
x y : BitVec (4 + 4)
⊢ x ^^^ y = y ^^^ x
Tactic:
sorry
State after:
no goals