HomeIsabelle/Phabricator

more lemmas for distribution