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

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