added lemmas multpHO_iff_set_mset_lessHO_set_mset and multpHO_minus_inter_minus_inter_iff
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE0f7dc48d8b7f: added lemmas count_minus_inter_lt_count_minus_inter_iff and…
- Branches
- Unknown
- Tags