HomeIsabelle/Phabricator

Two new theorems