Theorem: Lean4Lean.liftVar_zero (Lean4Lean/Theory/VExpr.lean)

State before:
n k : Nat
⊢ liftVar n 0 (k + 1) = 0
Tactic:
simp [liftVar]
State after:
no goals