Theorem: List.modifyNth_nil (One.lean)

State before:
α✝ : Type u_1
f : α✝ → α✝
i : ℕ
⊢ modifyNth f i [] = []
Tactic:
simp [List.modifyNth_eq_set]
State after:
no goals