HomeIsabelle/Phabricator

improved proofs

Description

improved proofs

Details

Provenance
nipkowAuthored on
Parents
rAFPf5a2f8375b4e: merged
Branches
Unknown
Tags
Unknown