# Commit 2022-03-23 23:02 584ae9db

View on Github →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