« Groupoid Cardinality of Types
Lemma.
Groupoid cardinality of BG
[00EW]