move lemma less_multiset_doubletons
Created originally on Bitbucket by abentkamp (Alexander Bentkamp)
Was already merged in Bitbucket before import, marked as merged by the import user
Created originally on Bitbucket by abentkamp (Alexander Bentkamp)
Was already merged in Bitbucket before import, marked as merged by the import user