HomeIsabelle/Phabricator

sorted out lemmas