HomeIsabelle/Phabricator

added lemmas monotone{,_on}_multp_multp_image_mset