Data.Random.Distribution.MultiNormal
data family
MultiNormal
k ::
*
inv