HomeIsabelle/Phabricator

more theorems