HomeIsabelle/Phabricator

collecting more lemmas concerning multisets