« Dirichlet Product of Species
Lemma.
Associativity Dirichlet Product
[00E9]
Proof
. TODO