diff options
| author | Michael Soegtrop | 2020-05-16 21:24:16 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2020-05-16 21:24:16 +0200 |
| commit | b9591f15d75886456ff28984934de73d6a516af5 (patch) | |
| tree | b43c5b2610e6afc0464b346e842e24f13f5e3081 /dev/base_include | |
| parent | d81bb4085ccad294cb1edd59ed5e0f9fd4d3b23a (diff) | |
| parent | e663b606a3895b7c78ee528a94a5c6a9675683ca (diff) | |
Merge PR #12288: Prove that classical reals implement constructive reals.
Reviewed-by: MSoegtropIMC
Reviewed-by: Zimmi48
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions