« Groupoid Cardinality of Types
Notation
[00EO]
For a type
write
for
.