added lemmas monotone{,_on}_multp_multp_image_mset
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE451e17e0ba9d: added lemmas monotone_on_empty[simp] and monotone_on_subset
- Branches
- Unknown
- Tags
added lemmas monotone{,_on}_multp_multp_image_mset Tags None Subscribers None
Description
Details
|