Category:Integral with respect to Pushforward Measure