HomeIsabelle/Phabricator

explicit annotation of lemma duplicates