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

Concept definition

template<typename C>
concept dedekind::sets::IsCountable = IsCardinality<C> && (C::is_countable == true)
dedekind::sets::IsCardinality
Definition cardinality.cppm:61
dedekind::sets::IsCountable
Definition cardinality.cppm:69

Detailed Description

: Magnitude is at most Aleph_0.