HomeIsabelle/Phabricator

fixed broken proofs

Description

fixed broken proofs

Details

Provenance
nipkowAuthored on
Parents
rAFP474f409ebe72: fixed broken proof
Branches
Unknown
Tags
Unknown