Documentation
LeanPool
.
CarlsonFunctions
.
Dirichlet
.
Moments
Search
return to top
source
Imports
Init
LeanPool.CarlsonFunctions.Dirichlet.Real.Aggregation
LeanPool.CarlsonFunctions.Dirichlet.Real.Marginals
LeanPool.CarlsonFunctions.Dirichlet.Real.Moments
Imported by
Real Dirichlet probability content
#
Moments, aggregation, and beta marginals are available as separate imports.