TheoremsflatMap, flatten, nodup, drop, flatMap, flatten, nodup, reduceOption, take, flatMap, flatten, nodup, concat_get_prefix, dropSlice_sublist, dropSlice_subset, getElem_inits, getElem_tails, get_inits, get_tails, infix_antisymm, infix_insert, infix_singleton_iff, inits_append, inits_cons, inits_eq_tails, inits_reverse, insert_eq_ite, instIsPartialOrderIsInfix, instIsPartialOrderIsPrefix, instIsPartialOrderIsSuffix, isPrefix_append_of_length, length_inits, length_tails, map_inits, map_reverse_inits, map_reverse_tails, map_tails, mem_inits, mem_of_mem_dropLast, mem_of_mem_dropSlice, mem_tails, prefix_append_drop, singleton_infix_iff, singleton_infix_singleton_iff, sublist_insert, subset_insert, suffix_insert, tail_subset, tails_append, tails_cons, tails_eq_inits, tails_reverse, take_inits, take_isPrefix_take | 54 |