HomeIsabelle/Phabricator

Further lemmas concerning complexity and measures