HomeIsabelle/Phabricator

added definition restrict_subst_domain and associated lemmas

Description

added definition restrict_subst_domain and associated lemmas

Details

Provenance
desharnaAuthored on
Parents
rAFPc58da30bc37a: tuned (sub)subsection
Branches
Unknown
Tags
Unknown