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