ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3375 on R4915:

P3375

This result is a particular case of R2131: Linear change of variables for unsigned basic Lebesgue integral. $\square$