HomeIsabelle/Phabricator

refined one-loop version further

Description

refined one-loop version further

Details

Provenance
nipkowAuthored on
Parents
rAFPb2708c764337: tidied up a few proofs
Branches
Unknown
Tags
Unknown