HomeIsabelle/Phabricator

added definition rename_subst_domain_range and related lemmas

Description

added definition rename_subst_domain_range and related lemmas

Details

Provenance
desharnaAuthored on
Parents
rAFPfb63aec9c236: merged
Branches
Unknown
Tags
Unknown