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

Concept definition

template<typename C>
concept dedekind::sets::IsFinite = IsCountable<C> && (C::is_finite == true)
dedekind::sets::IsCountable
Definition cardinality.cppm:69
dedekind::sets::IsFinite
Definition cardinality.cppm:73

Detailed Description

: Strictly terminating.