Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::morphologies::IsDedekindCompleteField Concept Referenceexport
module dedekind.morphologies

Concept definition

template<typename T>
concept dedekind::morphologies::IsDedekindCompleteField = IsArchimedeanField<T>
dedekind::morphologies::IsArchimedeanField
Definition archimedean.cppm:139