| (1) | $(X, \mathcal{F})$ is a D1108: Measurable space |
| (2) | $\mu$ is an D85: Unsigned basic measure on $(X, \mathcal{F})$ |
| (1) | $(X, \mathcal{F})$ is a D1108: Measurable space |
| (2) | $\mu$ is an D85: Unsigned basic measure on $(X, \mathcal{F})$ |
| ▶ | D1159: Probability space |
| ▶ | D4248: Almost everywhere constant map |
| ▶ | D2940: Measure-preserving endomorphism |
| ▶ | D1159: Probability space |
| ▶ | D1732: Pushforward measure |