more connections between mset _ = mset _ and permutations
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE7a88313895d5: dissolve theory with duplicated name from afp
- Branches
- Unknown
- Tags
more connections between mset _ = mset _ and permutations Tags None Subscribers None
Description
Details
|