« Groupoid Cardinality of Types
Notation
[00EP]
For a
-type
and
write
for the set
.