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

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