Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.mem_of_mem_suffix

Modification history

2022-06-09 13:27
src/data/list/infix.lean
feat(combinatorics/ballot): the Ballot problem (#13592)
Added list.mem_of_mem_suffixView on Github →