« Groupoid Cardinality
Lemma.
[007Y]
TODO. Cardinality of coproduct is sum of cardinality.