ThmDex – An index of mathematical definitions, results, and conjectures.
Linear change of variables for unsigned basic Lebesgue integral