Definition. Euler Product of Species [00FI]

For type family of species indexed by with a p-local dirichlet species.