Theorem: Lean4Lean.Lift.depth_skipN (Lean4Lean/Theory/VExpr.lean)

State before:
n : Nat
⊢ depth (skipN n) = n
Tactic:
induction n <;> simp [*]
State after:
no goals