Theorem: Lean4Lean.VExpr.Skips.liftN (Lean4Lean/Theory/VExpr.lean)

State before:
n : Nat
e : VExpr
k : Nat
⊢ Skips (liftN n e k) n k
Tactic:
simp [Skips]
State after:
no goals