Theorem: BVUnOp.eval_rotateRight (LeanSAT/Reflect/BVExpr/Basic.lean)

State before:
n w : Nat
⊢ (rotateRight n).eval = fun x => x.rotateRight n
Tactic:
rfl
State after:
no goals