Theorem: list_drop_zero (Katydid/Std/Lists.lean)

State before:
α : Type u_1
xs : List α
⊢ drop zero xs = xs
Tactic:
rw [drop]
State after:
no goals