Theorem: bitvec_AndOrXor_2443 (Eval/bitvec_AndOrXor_2443.lean)

State before:
⊢ ∀ (y x : BitVec 64), (x ^^^ -1).sshiftRight y.toNat ^^^ -1 = x.sshiftRight y.toNat
Tactic:
intros
State after:
y✝ x✝ : BitVec 64
⊢ (x✝ ^^^ -1).sshiftRight y✝.toNat ^^^ -1 = x✝.sshiftRight y✝.toNat

State before:
y✝ x✝ : BitVec 64
⊢ (x✝ ^^^ -1).sshiftRight y✝.toNat ^^^ -1 = x✝.sshiftRight y✝.toNat
Tactic:
bv_decide
State after:
no goals