HomeIsabelle/Phabricator

added lemma mgu_range_vars