Commit 2021-10-31 23:00 d6dd4516

chore(data/list/basic): use dot notation here and there (#10056)

Renamed lemmas

• list.cons_sublist_cons → list.sublist.cons_cons;
• list.infix_of_prefix → list.is_prefix.is_infix;
• list.infix_of_suffix → list.is_suffix.is_infix;
• list.sublist_of_infix → list.is_infix.sublist;
• list.sublist_of_prefix → list.is_prefix.sublist;
• list.sublist_of_suffix → list.is_suffix.sublist;
• list.length_le_of_infix → list.is_infix.length_le.

New simp attrs

list.singleton_sublist, list.repeat_sublist_repeat, list.reverse_suffix, list.reverse_prefix.

New lemmas

list.infix_insert, list.sublist_insert, list.subset_insert.