diff options
| author | Michael Soegtrop | 2020-04-30 12:14:29 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2020-04-30 12:14:29 +0200 |
| commit | 010ef152611977770fa137ed5980205d412febe5 (patch) | |
| tree | bd4d2769358efb0429e64de67cb775bf8c2067a8 /kernel/environ.ml | |
| parent | 5e611ecb1c38860ee5aaa0ccde1bb982ccc43ae4 (diff) | |
| parent | c4a24b7a7844789a08dabe8a76b20c239a8b8218 (diff) | |
Merge PR #12208: Reduce rational numbers in Cauchy real addition, to accelerate it
Reviewed-by: MSoegtropIMC
Diffstat (limited to 'kernel/environ.ml')
0 files changed, 0 insertions, 0 deletions