fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes)
Description
Description
Details
Details
- Provenance
pruvisto Authored on - Parents
- rISABELLE5131c388a9b0: simplified definition
- Branches
- Unknown
- Tags