HomeIsabelle/Phabricator

redefined mgu as a definition

Description

redefined mgu as a definition

Details

Provenance
desharnaAuthored on
Parents
rAFP4805011b1d98: tuned naming
Branches
Unknown
Tags
Unknown