HomeIsabelle/Phabricator

simplified invar

Description

simplified invar

Details

Provenance
nipkowAuthored on
Parents
rAFP6d0ba027f706: merged
Branches
Unknown
Tags
Unknown