« Groupoid Cardinality
Lemma.
[007Z]
TODO. Cardinality of product is product of cardinality.