Groupoid Cardinality is multiplicative