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

The old name of IsIntegerChain, which never claimed a ring. More...

Concept definition

template<typename T>
concept dedekind::sets::IsRingIntegral = IsIntegerChain<T>
dedekind::sets::IsRingIntegral
The old name of IsIntegerChain, which never claimed a ring.
Definition cardinality.cppm:1900

Detailed Description

The old name of IsIntegerChain, which never claimed a ring.

Deprecated
Use IsIntegerChain.
Template Parameters
Tthe carrier.