HomeIsabelle/Phabricator

multiset as equivalence class of permuted lists

Description

multiset as equivalence class of permuted lists

Details

Provenance
florian.haftmannAuthored on
Parents
rAFPf7efb0c6c76f: emphasize connection to multisets
Branches
Unknown
Tags
Unknown

Empty Commit

This commit is empty and does not affect any paths.