|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
Static Public Attributes | |
| static constexpr bool | is_finite = true |
| static constexpr bool | is_countable = true |
Tags for the cardinality of a vector's index set (its dimension). Mirrors dedekind::sets::Finite / ℵ_0 semantics in a geometry-local form, avoiding a cross-layer import while keeping terminology consistent.