mathlib3

584ae9db - chore(data/{lists,multiset}/*): More dot notation (#12876)

chore(data/{lists,multiset}/*): More dot notation (#12876) Rename many `list` and `multiset` lemmas to make them eligible to dot notation. Also add a few aliases to `↔` lemmas for even more dot notation. Renames