HomeIsabelle/Phabricator

added lemmas grounding_of_subst_cls_renaming_ident[simp] and…

Description

added lemmas grounding_of_subst_cls_renaming_ident[simp] and grounding_of_subst_clss_renaming_ident[simp]