Measurable function

Pushforward measure

Let be a measure space, be a measurable space, and is a measurable function, then the pushforward measure on is given by #m/def/measure

i.e. .

#state/tidy | #lang/en | #SemBr