« Groupoid Cardinality
Definition.
Exponent
[0080]
TODO