HomeIsabelle/Phabricator

A small number of new lemmas