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

ETCS axiom 9 witness: arithmetic species atlas exposes ℕ witness. More...

Concept definition

template<typename A>
concept dedekind::category::HasAxiom9NNO = IsSpecies<unsigned>
dedekind::category::HasAxiom9NNO
ETCS axiom 9 witness: arithmetic species atlas exposes ℕ witness.
Definition etcs.cppm:206
dedekind::category::IsSpecies
Formal verification that a type has been registered in the Atlas.
Definition species.cppm:82

Detailed Description

ETCS axiom 9 witness: arithmetic species atlas exposes ℕ witness.