diff options
| author | Vincent Semeria | 2020-05-02 18:25:13 +0200 |
|---|---|---|
| committer | Vincent Semeria | 2020-05-03 11:13:15 +0200 |
| commit | dc3e3577afcaeaa7e13c13307074eb99a30b3982 (patch) | |
| tree | 9c7ee41975b792f73775116f3f532df3472fb5a3 /dev/ci | |
| parent | 18544983e1b2a342c8bbcbd3c51003b11453213f (diff) | |
Simplify division of Cauchy reals
Improve comments
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions