HomeIsabelle/Phabricator

added definition rename_subst_domain and lemma…

Description

added definition rename_subst_domain and lemma renaming_cancels_rename_subst_domain

Details