Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::detail_recursion_witness::FormsCyclingRecursion Concept Reference
module dedekind.sets

Concept definition

template<typename T>
concept dedekind::sets::detail_recursion_witness::FormsCyclingRecursion = requires {
𝔸<T>{} & (χ(π_1 - N{1}, π_2 + N{1}) || χ(π_1 + N{1}, π_2 - N{1}));
}
dedekind::sets::detail_recursion_witness::FormsCyclingRecursion
Definition recursion.cppm:372
dedekind::category::π_1
constexpr Projection< 1 > π_1
The projections of a pair (and the first three of a tuple).
Definition limit.cppm:352
dedekind::sets::𝔸
The universal set over the carrier T: the terminal object ⊤ of Sub(T), the reified type constraint.
Definition boundaries.cppm:296