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

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