HomeIsabelle/Phabricator

fixed problematic addition operation in the 'approximation' package (previous…

Description

fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes)

Details

Provenance
pruvistoAuthored on
Parents
rISABELLE5131c388a9b0: simplified definition
Branches
Unknown
Tags
Unknown