added lemmas inv_renaming_sound and ex_inverse_of_renaming
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP8d5ce2fd5c9b: added lemma subst_apply_term_ident
- Branches
- Unknown
- Tags
added lemmas inv_renaming_sound and ex_inverse_of_renaming Tags None Subscribers None |