Defining probability density for a distribution of random functions

Re-assign community