HomeIsabelle/Phabricator

exposed that inverse of renaming only maps variables to variables

Description

exposed that inverse of renaming only maps variables to variables

Details

Provenance
desharnaAuthored on
Parents
rAFPae47c479a7c4: tuned
Branches
Unknown
Tags
Unknown