HomeIsabelle/Phabricator

centralized more lemmas