diff options
| author | Vincent Semeria | 2020-05-09 10:09:51 +0200 |
|---|---|---|
| committer | Vincent Semeria | 2020-05-09 17:43:06 +0200 |
| commit | 598e24a9c4a81ec9f24f1088d0a7a4a93dc19fd4 (patch) | |
| tree | 581c1ebe3799006425b56c49655f9761d95e6eda /dev/include | |
| parent | dc3e3577afcaeaa7e13c13307074eb99a30b3982 (diff) | |
Define CRzero and CRone via CR_of_Q
Add real numbers up to 10
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions