HomeIsabelle/Phabricator

move lemma less_multiset_doubletons

Description

move lemma less_multiset_doubletons

Details

Committed
Alexander Bentkamp <a.bentkamp@vu.nl>Jan 28 2020, 4:48 PM
Parents
rAFPdc7cc57f1157: Lambda-free orders: restrict totality to one set
Branches
Unknown
Tags
Unknown

Event Timeline

Alexander Bentkamp <a.bentkamp@vu.nl> committed rAFPce989c675f3a: move lemma less_multiset_doubletons.Jan 28 2020, 4:48 PM