added lemmas image_mset_eq_{image_mset_plus,plus,plus_image_mset}D, and multp_image_mset_image_msetD
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE5340239ff468: clarified options of "isabelle hg_sync" vs. "isabelle sync";
- Branches
- Unknown
- Tags