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

Concept definition

template<typename T>
concept dedekind::category::IsFinite = !IsTransfinite<T>
dedekind::category::IsFinite
Definition species.cppm:757
dedekind::category::IsTransfinite
Definition species.cppm:752

Detailed Description

: The "Pedestrian" reality of terminating sets.