added lemmas domain_comp and unify_gives_minimal_domain
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE66a9aa769d63: added definition range_vars and lemmas vars_of_subst_conv_Union…
- Branches
- Unknown
- Tags
added lemmas domain_comp and unify_gives_minimal_domain Tags None Subscribers None |