Theorem: LoVe.List.count_nil (LoVe/LoVelib.lean)

State before:
α : Type
inst✝ : BEq α
x : α
⊢ List.count x [] = 0
Tactic:
rfl
State after:
no goals