added lemmas unify_subst_domain_range_vars_disjoint
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFPbb31b688c043: added lemma unify_range_vars
- Branches
- Unknown
- Tags
added lemmas unify_subst_domain_range_vars_disjoint Tags None Subscribers None |