Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-04 11:24 1f0d878c

View on Github →

feat(data/list): standardize list prefixes and suffixes (#10052)

Estimated changes

added theorem list.drop_sublist
added theorem list.drop_subset
added theorem list.init_prefix
added theorem list.init_sublist
added theorem list.init_subset
modified theorem list.mem_of_mem_drop
added theorem list.mem_of_mem_init
modified theorem list.mem_of_mem_tail
added theorem list.mem_of_mem_take
modified theorem list.tail_sublist
added theorem list.take_sublist
added theorem list.take_subset