Euler Product of Species [00FD]
Euler Product of Species [00FD]
TODO 1. Definition Dirichlet Power [00FE]
TODO 1. Definition Dirichlet Power [00FE]
TODO
2. S_n acts on dirichlet power [00FF]
2. S_n acts on dirichlet power [00FF]
TODO
TODO 3. Definition Dirichlet exponential [00FG]
TODO 3. Definition Dirichlet exponential [00FG]
TODO 4. [00FH]
TODO 4. [00FH]
Definition 5. Euler Product of Species [00FI]
Definition 5. Euler Product of Species [00FI]
For type family of species indexed by with a p-local dirichlet species.