unfold UInt.getBit
α : Type
inst✝¹ : (n : Nat) → OfNat α n
inst✝ : UInt α
x y : α
i : Nat
⊢ UInt.getBit (x ^^^ y) i = (UInt.getBit x i != UInt.getBit y i)
α : Type
inst✝¹ : (n : Nat) → OfNat α n
inst✝ : UInt α
x y : α
i : Nat
⊢ Nat.getBit (toNat (x ^^^ y)) i = (Nat.getBit (toNat x) i != Nat.getBit (toNat y) i)