HomeIsabelle/Phabricator

added lemmas vars_term_subst_apply_term and vars_term_subst_apply_term_subset