|
Dedekind 0.0.0
A structuralist C++23 Module Library
|

Files | |
| archimedean.cppm | |
| Archimedean / ordered-field convergence stubs. | |
| cyclic.cppm | |
| Cyclic-morphology carriers and their concept witnesses. | |
| morphologies.cppm | |
| Cyclic and Archimedean morphology carriers. | |