HomeIsabelle/Phabricator

added lemma about limits