dedekind::morphologies::IsArchimedeanField Concept Reference

Concept definition

template<typename T>
concept dedekind::morphologies::IsArchimedeanField =  IsOrderedField<T> && requires(T a) {
  { a + T{1} } -> std::same_as<T>;
}