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

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