HomeIsabelle/Phabricator

A couple of basic lemmas about arg