HomeIsabelle/Phabricator

added lemmas filter_mset_cong{0,}