HomeIsabelle/Phabricator

Description

merged

Details

Provenance
paulsonAuthored on
Parents
rAFPedae802b7d54: simpler proofs of stronger lemmas
rAFP6a7d4e617b10: Tweaks
Branches
Unknown
Tags
Unknown

Merged Changes