HomeIsabelle/Phabricator

tuned proofs to use asymI, asymD, asympI, and asympD

Description

tuned proofs to use asymI, asymD, asympI, and asympD

Details

Provenance
desharnaAuthored on
Parents
rAFP7a6daf7e3281: Fix failing continuous integration
Branches
Unknown
Tags
Unknown