HomeIsabelle/Phabricator

A new lemma about inverse image