lemma diffusion
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEfd32f08f4fb5: more connections between mset _ = mset _ and permutations
- Branches
- Unknown
- Tags
lemma diffusion Tags None Subscribers None
Description
Details
|