added lemmas Multiset.transp_on_multp and Multiset.trans_on_mult
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEeace130baedc: proper target option, following package binutils-mingw-w64-x86-64 from…
- Branches
- Unknown
- Tags